ML (linguaggio di programmazione): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Recupero di 1 fonte/i e segnalazione di 0 link interrotto/i. #IABot (v2.0beta15) |
m +template |
||
Riga 1:
{{
|immagine =
|didascalia =
|versione =
|utilizzo =
|tipizzazione =
|specifiche =
|estensione =
|ha_influenzato =
|implementazione_riferimento =
|sistema_operativo =
|lingua =
|licenza =
|sito_web =
}}
'''ML''' è un [[linguaggio di programmazione]] [[programmazione funzionale|funzionale]] [[general purpose]] sviluppato dall'équipe di Robin Milner presso l'[[Università di Edimburgo]] alla fine degli anni 70, con una sintassi ispirata ad [[ISWIM]]. Storicamente, ML sta per '''''M'''eta'''L'''anguage'' ([[metalinguaggio]]) visto che era nato per la verifica formale attraverso il theorem prover [[Logic for Computable Functions|LCF]] (il linguaggio di cui ML rappresentava il livello meta era [[pplambda]], una combinazione di [[Logica del primo ordine|calcolo dei predicati del primo ordine]] e [[Lambda calcolo|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.
Line 17 ⟶ 31:
==Collegamenti esterni==
{{Collegamenti esterni}}
*{{cita web|1=http://shootout.alioth.debian.org/|2=Confronto dell'efficienza dei compilatori in vari linguaggi|lingua=en|accesso=2 settembre 2005|urlarchivio=https://web.archive.org/web/20090627025632/http://shootout.alioth.debian.org/|dataarchivio=27 giugno 2009|urlmorto=sì}}
*{{cita web|http://www.dcs.napier.ac.uk/course-notes/sml/manual.html|Introduzione a ML|lingua=en}}
| |||