HaskellHackathon

型クラス

なんとなくはわかってるけど厳密なところを調べないといけない。論文を探すことにする。「Haskell type class」とかでぐぐる。よくわからないチュートリアルがたくさんヒットするので、「publications」もつける。http://citeseer.ist.psu.edu/74969.html。H…

遅延評価をもうちょっと考える

いつthawしなくてはいけないのか,いつfreezeしなければいけないのか,ちょっと考えてしまったので書いておく. セッティング そもそもHaskellでは,値は2種類しかない. 関数(\x -> expr) データコンストラクタ(Cons(x, Nil)) ここではそう考える*1.Haskel…