http://sange.fi/~atehwa/cgi-bin/piki.cgi/ Recent changes in teos: ml http://sange.fi/~atehwa/cgi-bin/piki.cgi/teos%3A%20ml http://sange.fi/~atehwa/cgi-bin/piki.cgi/#1326797718 <p>[...] <p><ins>Miksi?</ins> <p><ins>* 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.</ins> <p><ins>Kuvia netistä:</ins> <p>[...] Tue, 17 Jan 2012 10:55:18 +0000