MetaLanguage

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.

MetaLanguage
Tilblivelse1973
ParadigmeMulti-paradigme: Prosedyrisk programmering, funksjonell programmering, Imperativ programmering
Designet og utviklet avRobin Milner
Typetildeling inferens, statisk, sterk
Påvirket av
ISWIM

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.