Key facts
- Paradigm
- Multi-paradigm : functional , generic , imperative , interactive
- Designed by
- Robin Milner , others at the University of Edinburgh
- First appeared
- 1973 ; 53 years ago ( 1973 )
- Typing discipline
- Inferred , static , strong
via Wikipedia infobox
Wikidata facts
- Instance of
- functional programming language
- Developer
- Robin Milner
- Designed by
- Robin Milner
Show 5 more facts
- programming paradigm
- procedural programming
- influenced by
- ISWIM
- inception
- 1973-01-01
- topic's main category
- Category:ML programming language family
- typing discipline
- strong typing
Sources (3)
via Wikidata · CC0
Article · Italiano
ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad . Storicamente, ML sta per MetaLanguage (metalinguaggio) visto che era nato per la verifica formale attraverso il theorem prover (il linguaggio di cui ML rappresentava il livello meta era , una combinazione di calcolo dei predicati del primo ordine e lambda-calcolo polimorfico debolmente tipizzato). Tra i linguaggi di programmazione funzionali è tra i più noti per il suo utilizzo dell'algoritmo di inferenza dei tipi di Hindley-Milner, che riesce ad inserire quasi tutti i tipi senza bisogno di dichiarazioni.
Abstract from DBpedia / Wikipedia · CC BY-SA