WikiDer > ML (Programmiersprache)

ML
Paradigma	funktional
erschien	1973
Entworfen von	Robin Milner und andere (Universität von Edinburgh)
Typensystem	statisch, stark
Dialekte	Standard-ML, OCamli, F#
Einfluss auf	Miranda, Haskell, Zyklon, C
Betriebssystem	Multiplattform
Portal    Informatik

ML ist ein funktionalProgrammiersprache, entwickelt von Robin Milner und andere bei der Universität von Edinburgh. ML war ursprünglich eine Abkürzung für Metasprache. Es war als die Metallsprache des Argumentationsprogramms LCF.

ML ist im Gegensatz zu sauber und Haskell, eine "unreine" funktionale Sprache, in dem Sinne, dass auch zwingende Programmierung ist in ML möglich (genau wie in lispeln).

Die beiden heute am häufigsten verwendeten ML-Dialekte sind Standard ML und OCaml (Ziel-Caml). Letztere gilt als eine der am effizientesten implementierten Programmiersprachen der Welt und kann mit konkurrieren C und C .

F# (Aussage Fis) von Microsoft ist ein von OCaml abgeleiteter ML-Dialekt. F# ist a .GERADESprache, was bedeutet, dass das .NET Framework problemlos in F# angesprochen werden kann. Mit F# erstellte Programmkomponenten können beispielsweise auch von C# und umgekehrt. Microsoft Visual Studio unterstützt auch die Programmierung mit F#.

Das Universität des Saarlandes im Saarbrücken entwickelt derzeit einen ML-Dialekt namens Alice, der parallele Berechnungen (auf mehreren Prozessoren oder Maschinen gleichzeitig) und Constraint-Programmierung möglich sein.

Externe Links

• (und) Camli
• (und) Standard-ML von New Jersey
• (und) Beschreibung des Standard-ML
• (und) Webseite F#