imported>Serols: Änderungen von ~2026-19347-44 (Diskussion) rückgängig gemacht (HG) (3.4.13)

2026-03-28T13:39:35Z

Änderungen von ~2026-19347-44 (Diskussion) rückgängig gemacht (HG) (3.4.13)

Neue Seite

'''Meta Language''' ('''ML''') beschreibt eine Familie [[Funktionale Programmierung|funktionaler Programmiersprachen]] mit statischer [[Typisierung (Informatik)|Typisierung]], [[Polymorphie (Programmierung)|Polymorphie]], [[Automatische Speicherbereinigung|automatischer Speicherbereinigung]] und im Allgemeinen [[Auswertung (Informatik)|strenger Auswertung]]. ML ist allerdings keine rein funktionale Sprache wie [[Haskell (Programmiersprache)|Haskell]], sondern erlaubt an manchen Stellen auch [[Imperative Programmierung|imperative]] Konstrukte und Wirkungen, beispielsweise für Dateizugriffe.

ML wurde [[1973]] von [[Robin Milner]] an der [[Universität Edinburgh]] als Teil eines [[Maschinengestütztes Beweisen|Theorem-Beweis-Programms]] LCF (Logic of Computable Functions) entwickelt, welches automatisiert die Korrektheit von Programmen beweisen sollte. Seither hat sich ML zu einer vollständigen und eigenständigen Programmiersprache entwickelt, die insbesondere im wissenschaftlichen Umfeld verwendet wird. Die Sprache wird an einigen Universitäten als primäre Programmiersprache gelehrt.

== Die ML-Familienmitglieder ==
Unter rund einem Dutzend Varianten sind die bekanntesten Vertreter von ML „[[Standard ML]]“ (im folgenden SML genannt), „[[Lazy ML]]“ und „Caml“. '''Caml''' steht für „Categorical Abstract Machine + ML“ und wurde am [[INRIA]] (Institut National de Recherche Informatique et en Automatique) in Frankreich von [[Gérard Huet]] in den Jahren 1984–85 entwickelt und 1990 unter [[Xavier Leroy]] zu [[Objective CAML]] (OCaml) erweitert. OCaml vereinigt funktionale, imperative und [[Objektorientierte Programmierung|objektorientierte]] Sprachkonzepte. Lazy ML ist ein [[Dialekt#Dialekte bei Programmiersprachen|Dialekt]] von ML, der mit dem Grundsatz der strikten [[Auswertung (Informatik)|Auswertung]] bricht und [[Lazy Evaluation|Bedarfsauswertung]] einführt. Standard ML hingegen war [[Robin Milner]]s Versuch 1984, die Sprachdialekte von ML zu vereinigen. Neben dem ML-Kern sind auch andere Ideen, z. B. die Funktionsdeklaration durch [[Pattern Matching|Muster]] der Programmiersprache [[Hope (Programmiersprache)|Hope]], in SML eingeflossen. Es gibt eine 1997 überarbeitete Version von SML, die in der Literatur meist „Standard ML’97“ genannt wird, um sie von der Ursprungsversion zu unterscheiden. Die Referenzimplementierung von SML ist [[Standard ML of New Jersey]] (SML/NJ).

== Literatur ==
* {{Literatur
| Autor=[[Gert Smolka]]
| Titel=Programmierung – eine Einführung in die Informatik mit Standard ML
| Verlag=Oldenbourg Wissenschaftsverlag
| Ort=München
| Jahr=2008
| ISBN=978-3-486-58601-5
}}
* {{Literatur
| Autor=L.C. Paulson
| Titel=ML for the working programmer
| Verlag=University Pr.
| Ort=Cambridge
| Jahr=1991
| ISBN=0-521-42225-6
}}

== Weblinks ==
* [http://www.smlnj.org/ Standard ML of New Jersey] (englisch)
* [http://caml.inria.fr/ The OCaml Language] (englisch/französisch)
* Chris Beach: {{Webarchiv | url=http://www.bath.ac.uk/~cs1cb/ML/index.htm | wayback=20041012221419 | text=History of ML}} (englisch)

{{SORTIERUNG:Ml}}
[[Kategorie:Funktionale Programmiersprache]]

ML (Programmiersprache) - Versionsgeschichte

imported>Serols: Änderungen von ~2026-19347-44 (Diskussion) rückgängig gemacht (HG) (3.4.13)