MetaLanguage
I denne artikkelen skal vi utforske det fascinerende livet til MetaLanguage, en karakter som har satt et uutslettelig preg på historien. Fra ydmyk begynnelse til hans uventede oppgang til berømmelse, har MetaLanguage fanget fantasien til utallige mennesker rundt om i verden. Gjennom disse sidene vil vi oppdage deres prestasjoner, kamper og triumfer, samt deres innvirkning på dagens samfunn. Gjennom eksklusive intervjuer og omfattende research vil vi avdekke hemmelighetene bak MetaLanguages suksess og undersøke hans varige arv. Gjør deg klar til å fordype deg i en spennende reise som tar deg til å kjenne alle de mest relevante aspektene ved MetaLanguages liv.
| 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.[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
- ^ Gordon, Michael J. C. (1996). «From LCF to HOL: a short history». Besøkt 11. oktober 2007.
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
