[...]
Miksi?
* Haskell on, paitsi käytännöllinen ohjelmointikieli, myös teoreettinen luomus, jonka toimintaan ja toteuttamiseen on käytetty huomattava määrä tutkimustyötä kielen nuorehkosta iästä huolimatta. * Haskell pyrkii olemaan osoitus siitä, että puhdas funktionaalinen ohjelmointi on oikeasti käytännöllistä. Silti kieli on usein vaikea lähestyä niille, jotka ovat tottuneet vähemmän oikeaoppisiin kieliin. * Haskell on jotenkin hämmentävän "täydellinen" kieli: on vaikea keksiä, mikä siinä voisi olla paremmin. * Haskellin tyyppijärjestelmää kehitetään koko ajan monimutkaisemmaksi, jotta yhä useammat ohjelmat olisivat suorituskelpoisia. Koska tyyppijärjestelmät ja logiikat vastaavat toisiaan, Haskellin tyyppijärjestelmien ristiriidattomuus kulkee käsi kädessä uusien logiikoiden ristiriidattomuuden kanssa ja on siis melko akateeminen aihe.
Kuvia netistä:
[...]