Wed, 3 Jun 2009

weblog

今日の修行

  • これは面白い考え方

ある程度書きかけのソースコードをGlasgow Haskell Compilerに渡すと、 未定義の関数や、型エラー(物理でいえば、左辺と右辺の単位が違っていること)を調べてくれます。 これを参考にしながら、どんどん定義を埋めていきます。
... 中略 ...
僕は、Haskell書きは、直感的に明らかなたぐいの数学の定理を フォーマルに証明する過程に似ている感じがします。

Monadius