Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset
LOL, olen ollut "early adopter" monadien suhteen :) Ei olisi kyllä joskus 2002 tullut mieleenkään nähdä asia niin, mutta nythän listakeräelmät, geneerinen map() ynnä muu monaditauhka on tulossa yleiseen tietoisuuteen pikku hiljaa.
Mielenkiintoista kyllä, tällä välin matemaattinen analyysi on vahvistunut: esimerkiksi useimmissa kielissä MonadPlus on jo nimeltään "monoid" kuten kuuluu ja monadien ja funktorien yhteys ymmärretään vaikkakin on dokumentoitu huonosti - mutta jotkin monadit ovat vaipumassa unhoon, kun ihmiset eivät taida ihan tajuta niiden käyttökelpoisuutta: jatkemonadi, lomitusmonadi ja laskentarajamonadi, joka varmistaa, ettei jokin laskenta kestä kauemmin kuin n steppiä. Mutta eiköhän nekin ennen pitkää muisteta.
Kun katselee, mitä vauhtia omat asiantuntemusalueet valtavirtaistuvat, niin jatkeiden ja versiohallinnasta tutun muutosalgebran valtavirtaistuminen ovat sitten varmaan jossain 15 vuoden päässä. Ehkä.