ML (programmeertaal)
| ML | ||||
|---|---|---|---|---|
| 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 | |||
| ||||
MLis eenfunctioneleprogrammeertaal,ontwikkeld doorRobin Milneren anderen aan deUniversiteit van Edinburgh.ML was oorspronkelijk een afkorting voorMeta Language.Het was bedoeld als demetataalvan het redeneerprogramma LCF.
ML is, in tegenstelling totCleanenHaskell,een "onzuivere" functionele taal, in de zin dat ookimperatief programmerenmogelijk 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 metCenC++.
F#(uitspraakF sharp) vanMicrosoftis 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 Studioondersteunt ook het programmeren met F#.
DeUniversiteit van SaarlandinSaarbrückenontwikkelt momenteel een ML-dialect genaamd Alice, waarin onder andereparallel rekenen(op meerdereprocessorsof machines tegelijk) enconstraint programmingmogelijk zijn.
Externe links
[bewerken|brontekst bewerken]- (en)Caml
- (en)Standard ML of New Jersey
- (en)Beschrijving van Standard ML
- (en)Website F#
·
·