[...]
Miksi?
* ML-kielen eri toteutukset olivat ensimmäisiä kieliä, joissa oli ''polymorfinen automaattinen staattinen tyypitys''. Käytännössä se merkitsee, että ohjelmoijan kirjoitustyö vähenee mutta ohjelmat toimivat silti tehokkaasti. * ML-kielissä on myös osittain matematiikasta lainattu, käytännönläheinen (muttei kovin minimalistinen) syntaksi. Yhdessä syntaksi ja tyyppijärjestelmä tekevät ML-kielistä hauskoja käyttää ja ML-ohjelmoinnista nopeaa. * Puristit eivät oikein pidä ML-kielistä: niiden suunnitteluvalinnoissa on liikaa kompromisseja. ML-kielten kaltainen tyyppijärjestelmä on myös Haskell-kielessä, joka pyrkii olemaan oikeaoppisempi joka suhteessa.
Kuvia netistä:
[...]