MetaLanguage: Forskjell mellom sideversjoner
Hopp til navigering
Hopp til søk
m (bot: Bytter ut tematiske stubbmaler med {{stubb}}) |
m (Én sideversjon ble importert) |
Siste sideversjon per 25. okt. 2024 kl. 19:36
| MetaLanguage | |||
|---|---|---|---|
| Filendelse(r) | Lua-feil i Modul:Wikidata2, linje 231: attempt to call method 'getBestStatements' (a nil value). | ||
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]
- ↑ Gordon, Michael J. C. (1996). «From LCF to HOL: a short history». Besøkt 11. oktober 2007.
Eksterne lenker[rediger | rediger kilde]
- 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
Autoritetsdata
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.