MetaLanguage

MetaLanguage
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. 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.

Eksterne lenker

• Standard ML of New Jersey, another popular implementation
• F#, an ML implementation using the Microsoft .NET framework
• MLton, a whole-program optimizing Standard ML compiler
• CakeML, a read-eval-print loop version of ML with formally verified runtime and translation to assembler