ML (linguaggio di programmazione): differenze tra le versioni

 

A differenza di Haskell, ML usa un meccanismo di valutazione rapido (immediato): tutte le sottoespressioni che formano una espressione sono sempre valutate (ad eccezione delle espressioni condizionali). Come conseguenza non si possono creare liste infinite.

 

Sono nati diversi linguaggi a partire da ML; tra questi i più popolari sono SML ([[Standard ML]], del [[1990]]) e [[Ocaml]] (Objective Caml). ML ha anche influenzato molti altri linguaggi, soprattutto quelli sviluppati in ambito accademico (ad es. [[F Sharp|F#]], [[Cyclone (linguaggio di programmazione)|Cyclone]] e [[Nemerle]]).