OcamlもHaskellも、どちらも型推論を搭載している言語である。これは言語の上でとても重要な意味を持っている。だが、上記のソースを見てもらってその型推論が同じに見えるだろうか？一応、やっている内容は同じなのだが。 というのは、Haskellでは基本的に…

id:Uuutokuda:20051117:1132202387に関して。 このソースコード、まずOcamlの方を見てみる。書いたのはk.inabaさん。D言語を操ったりするらしい。zipperについてよく分からないのでなんとも言いがたいのだけど、多分遅延評価は使っていないのではないかと思…

id:wpw:20051118にて。お返事が返ってきますた。書いてないことまで読み取って要約してくださって毎度のことながらありがたい限りです。結局のところ、どっちでもいいような型の記述の部分ではどっちでもいいのかなあ？といった感じでしょうか。 考えていて…