MetaLanguage

MetaLanguage
Tilblivelse1973
ParadigmeMulti-paradigme: Prosedyrisk programmering, funksjonell programmering
Designet og utviklet avRobin 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.

ReferanserRediger

  1. ^ Gordon, Michael J. C. (1996). «From LCF to HOL: a short history». Besøkt 11. oktober 2007. 

Eksterne lenkerRediger

 Denne programmeringrelaterte artikkelen er foreløpig kort eller mangelfull, og du kan hjelpe Wikipedia ved å utvide den.