MetaLanguage

From Wikipedia, the free encyclopedia

Remove ads

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.

Kjappe fakta Tilblivelse, Paradigme ...
Remove ads

Referanser

Eksterne lenker

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads