MetaLanguage

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
MetaLanguage
Kom til1973
ParadigmeMulti-paradigme: Prosedyrisk programmering, funksjonell programmering
Designet og utviklet avRobin Milner
Skrive disiplin inferens, statisk, sterk
Innflytelse 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.