Movatterモバイル変換

[0]ホーム

Naar inhoud springen

ML (programmeertaal)

Koppelingen bewerken

Uit Wikipedia, de vrije encyclopedie

Paradigma

functioneel

Verschenen

1973

Ontwerper

Robin Milner en anderen (Universiteit van Edinburgh)

Typesysteem

statisch, sterk

Dialecten

Standard ML,OCaml,F#

Invloed op

Miranda,Haskell,Cyclone,C++

Besturingssysteem

Multiplatform

Portaal

Informatica

ML is eenfunctionele programmeertaal, ontwikkeld doorRobin Milner en anderen aan deUniversiteit van Edinburgh. ML was oorspronkelijk een afkorting voorMeta Language. Het was bedoeld als demetataal van het redeneerprogramma LCF.

ML is, in tegenstelling totClean enHaskell, een "onzuivere" functionele taal, in de zin dat ookimperatief programmeren mogelijk is in ML (net zoals inLisp).

De twee meest gebruikte ML-dialecten zijn tegenwoordig Standard ML enOCaml (Objective Caml). De laatste staat bekend als een van de meest efficiënt geïmplementeerde programmeertalen ter wereld, en kan zich meten metC enC++.

F# (uitspraakF sharp) vanMicrosoft is een van OCaml afgeleid ML-dialect. F# is een.NET-taal, wat wil zeggen dat in F# gemakkelijk het .NET-framework kan worden aangesproken. Ook kunnen met F# gemaakte programmaonderdelen aangesproken worden vanuit bijvoorbeeldC# en andersom. MicrosoftVisual Studio ondersteunt ook het programmeren met F#.

DeUniversiteit van Saarland inSaarbrücken ontwikkelt momenteel een ML-dialect genaamd Alice, waarin onder andereparallel rekenen (op meerdereprocessors of machines tegelijk) enconstraint programming mogelijk zijn.

Externe links

[bewerken |brontekst bewerken]

Overgenomen van "https://nl.wikipedia.org/w/index.php?title=ML_(programmeertaal)&oldid=65719882"

Categorie:

Functionele programmeertaal

[8]ページ先頭