Miranda (Programmiersprache)
Miranda | |
---|---|
Paradigmen: | funktional, nicht-strikt, deklarativ |
Erscheinungsjahr: | 1985 |
Designer: | David Turner |
Entwickler: | David Turner |
Aktuelle Version | 2.066[1] (31. Januar 2020) |
Typisierung: | statisch, stark |
Beeinflusst von: | KRC, ML, SASL |
Beeinflusste: | Haskell |
Betriebssystem: | Unix |
Lizenz: | 2-Klausel-BSD-Lizenz[2] |
miranda.org.uk |
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.
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.
Trivia
[Bearbeiten | Quelltext bearbeiten]Der Name stammt von der Figur Miranda aus Shakespeares Der Sturm. In der Komödie lebt die Tochter des Zauberers Prospero behütet auf einer verzauberten Insel, bewahrt von „all den Übeln dieser Welt“ und erwähnt in einer Rede in Akt 5 Szene 1 die Wörter „Brave New World“. In diesem Sinne soll die Programmiersprache Miranda eine Einführung in die Brave New World der funktionalen Programmierung darstellen.[3]
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Offizielle Website (englisch)
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Miranda download page. (abgerufen am 17. Mai 2024).
- ↑ miranda: COPYING. (abgerufen am 17. Mai 2024).
- ↑ About the name Miranda. Abgerufen am 24. Juni 2010.