Loading AI tools
Programmiersprache Aus Wikipedia, der freien Enzyklopädie
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[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 |
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.
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]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.