(toiminnot)

hwechtla-tl: Teos: ML: viime muutokset

[...]

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ä:

[...]


(viimeksi muutettu 17.01.2012 12:55)