MetaLanguage

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
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.

Referanser[rediger | rediger kilde]

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

Eksterne lenker[rediger | rediger kilde]

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