ML (linguaggio di programmazione): differenze tra le versioni

'''ML''' è l'[[acronimo]] che identifica un [[linguaggio di programmazione]] funzionale general-purpose sviluppato dall'equipe 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'''inguaggio visto che era nato per la verifica formale attraverso il theorem prover 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 inferire quasi tutti i tipi senza bisogno di dichiarazioni.