| 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 et funksjonelt programmeringsspråk som ble utviklet av Robin Milner og andre tidlig på 1970-tallet ved University of Edinburgh.[1] Syntaksen til språket var inspirert av ISWIM, og det har sine røtter i LISP. ML er en forkortelse for MetaLanguage: det ble utviklet for å bevise teoremer ved hjelp av LCF. Språket i LCF, pplambda, er en kombinasjon av førsteordens predikatkalkulus og polymorfisk lambdakalkyle og benytter ML som metaspråk.
Referanser#edit
- ^ Gordon, Michael J. C. (1996). «From LCF to HOL: a short history». Besøkt 11. oktober 2007.
Eksterne lenker#edit
Categories Programmeringsspråk
This article is mirrored from “MetaLanguage” on Norsk bokmål Wikipedia, revision 23995885, written by Wikipedia's contributors and licensed CC BY-SA 4.0. Editing it here creates a Quire copy with its own history.
Synced with Wikipedia revision 23995885 · just now