Miranda (Programmiersprache)
Miranda ist eine rein funktionale Programmiersprache, die von David Turner basierend auf den von ihm früher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und Hope enthält.
| Miranda | |
|---|---|
| Paradigmen: | funktional, nicht-strikt, deklarativ |
| Erscheinungsjahr: | 1985 |
| Designer: | David Turner |
| Entwickler: | David Turner |
| Aktuelle Version | 2.066 (31. Januar 2020) |
| Typisierung: | statisch, stark |
| Beeinflusst von: | KRC, ML, SASL |
| Beeinflusste: | Haskell |
| Betriebssystem: | Unix |
| Lizenz: | 2-Klausel-BSD-Lizenz |
| miranda.org.uk | |
Sie war geistiges Vorbild für die später entwickelte Programmiersprache Haskell, die viele Ähnlichkeiten mit Miranda hat.
Die 1985 veröffentlichte Programmiersprache Miranda war die erste funktionale Programmiersprache, die nicht für die Verwendung in der Wissenschaft, sondern für den kommerziellen Gebrauch entwickelt wurde.
Seit dem 1985 in C geschriebenen Interpreter für Unix-Systeme gab es keine weiteren Entwicklungen, so dass die Programmiersprache heute als tot angesehen werden kann. Dennoch wird Miranda gern als Lehrbeispiel für funktionale Programmiersprachen genutzt, da ihre Komplettreferenz nur ca. 30 Seiten umfasst und damit im Vergleich zu anderen Sprachen recht leicht zu erlernen ist.