| MetaLanguage | |||
|---|---|---|---|
| Tilblivelse | 1973 | ||
| Paradigme | Multi-paradigme:Prosedyrisk programmering,funksjonell programmering,imperativ programmering | ||
| Designet og utviklet av | Robin Milner | ||
| Typetildeling | inferens, statisk, sterk | ||
| Påvirket av | |||
| ISWIM | |||
ML er etfunksjoneltprogrammeringsspråk som ble utviklet avRobin Milner og andre tidlig på 1970-tallet vedUniversity of Edinburgh.[1] Syntaksen til språket var inspirert avISWIM, og det har sine røtter iLISP. ML er en forkortelse forMetaLanguage: det ble utviklet for å bevise teoremer ved hjelp avLCF. Språket i LCF,pplambda, er en kombinasjon avførsteordens predikatkalkulus ogpolymorfisklambdakalkyle og benytter ML som metaspråk.
