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.[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
- v
- d
- r
A# · ActionScript · Ada · Alef · ALGOL · ALGOL 58 · ALGOL 60 · ALGOL 68 · ALTRAN · APL · AppleScript · Argus · Assembler · Autokode · awk · B · BASIC · BCPL · BETA · BitC · BLISS · Bourne Shell · C · C++ · C-- · CHILL · C# · C shell · Caml · Ch · Cilk · Cilk++ · Cilk Plus · Clarion · Clipper · CLISP · Clojure · CLU · COBOL · COMAL · Common Lisp · Concurrent C · Concurrent Euclid · Concurrent Pascal · C shell · D · Delphi · Dylan · ECMAScript · Eiffel · Emacs Lisp · Erlang · Euclid · F* · F# · Forth · Fortran · GNU Common Lisp · GNU Pascal · Go · Haskell · HyperTalk · Incr Tcl · INTERCAL · Interlisp · Java · JavaScript · JRuby · LaTeX · Legoscript · LilyPond · Limbo · Lisp · LPC · Lua · Lynx · Mary · MATLAB · Mesa · ML · MML · Modula · Modula-2 · Modula-2+ · MUMPS · Objective-C · Objective-C++ · OCaml · OpenVera · O'Haskell · Pascal · Perl · PHP · Pike · PL/I · Plankalkül · PLEX · Prolog · Protel · Pure Data · Python · R · Ratfor · REXX · RTL/2 · Ruby · Rust · SAS · Scala · Scheme · Scratch · Simula · SML · Smalltalk · SNOBOL · Tcsh · Tcl · TECO · TOM · Turbo Basic · Turbo Pascal · Verilog · Visual Prolog · Turing · TypeScript · Vala · VHDL · Visual Basic
- Liste over programmeringsspråk
- Kategori
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.