トップ «前の日記(2005-02-24) 最新 次の日記(2005-02-28)» 月表示 編集

日々の流転


2005-02-26 [長年日記]

λ. 代数的データ型と始代数の話

2004-07-31の代数的データ型と始代数の話にちょっと追記。最初は自信たっぷりに書いたけれど、例は正しくなかったし、どうもこの辺の話はイマイチよく分かっていない。この辺りは論文などでは適当に誤魔化されてしまう事が多いけれど、結構微妙なところもあるので、最低限のjustificationは必要なのではないか思った。

λ. Haskellたん

[Haskellたん]

気に入ったのでこっそり転載。言っとくけど、関数型プログラミング言語Haskell Part3 の 432 に書いたのは俺じゃないからね。

Tags: haskell

λ. C と Haskell のハイブリッドな hello world

Syntax Error (2005-02-25)でコメントしたものを一応こっちにも転載しておく。リンク先の別の解の方が面白いと思う。

long a = 0;
int main (void) {--a;//-} = 0
a // b = 0; main = putStrLn "Hello World"
-- ; printf("Hello World"); return 0; }
Tags: haskell