aboutme:135754
プログラム言語 Haskell の独習中。callCC がらみ、いずれ記事にする予定。infinite type を避けるのがなかなか難しい。しかし、無限ループが普通に発生するのに、こんなに面倒をかける必要があるのか、ギモン。学者なら論理学的な「発見」ができるのかもしれないが…。
JRF 2011年1月17日 (月)
記事を書いた。二本。
《時間泥棒の夕べ [ JRF の私見：雑記 ]》
http://jrf.cocolog-nifty.com/column/2011/01/post-1.html
《Haskell の callCC で goto を作る [ JRF のソフトウェア Tips ]》
http://jrf.cocolog-nifty.com/software/2011/01/post-2.html
JRF 2011年01月20日 7629
いろいろ思い付きを試してみて、まぁ、だいたいやりたかったことはでき、満足はしたが、3,4日の没頭で、エラく疲れた。
記事に書いたりもろもろのことは、ちょっと休んでからにする。
JRF 2011年01月17日 9141