Miranda

Miranda ist eine hochentwickelte, allgemeine, rein funktionale Programmiersprache, die 1985 von Research Software Ltd. entwickelt wurde. Sie wurde nach Miranda Richardson, einer englischen Schauspielerin, benannt. Miranda ist statisch typisiert, mit starker Typüberprüfung. Sie unterstützt Funktionen höherer Ordnung, lexikalische Abschlüsse, Lazy Evaluation und Garbage Collection. Die Sprache hat einen imperativen Programmierstil, mit Seiteneffekten, die jedoch auf E/A beschränkt sind. Es ist möglich, Programme in einem rein funktionalen Stil zu schreiben. Miranda ist in der akademischen Welt weit verbreitet, insbesondere in Großbritannien, und hat eine kleine, aber treue Anhängerschaft unter kommerziellen Programmierern.