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