;; has existed for long. Actually it is since the very birth of the ML functional language family: Edinburgh LCF ML by Robin Milner in the late 1970s has it already: http://books.google.com/books?id=Vm08AAAAIAAJ&lpg=PA163&dq=lcf%20manual%2…

コメント欄が無いのでトラックバックしておきます http://d.hatena.ne.jp/tatta/20100623/ # isz (isz (lit 0)) - : bool term = IsZ (IsZ (Lit 3)) !!! isz : int term -> bool termなので型エラーになってほしいのに．．． OCaml のバグじゃないかと疑って…

設定: HM は一応使える。Type class instance resolution はイメージしか持っていない。なのに Monad transformer に出会ってしまった。眉間のτとλ皺が特徴。 やつを追う前に言っておくッ！ おれは今やつのStateTをほんのちょっぴりだが体験した い…いや…体…

もう干からびていたとうわさの OCaml のための emacs mode、Tuareg が新しくなりました。オリジナルは 1.45.x 以降、1.46.2 あたりまで出たものの、何かエンバグして 1.46 系は取りやめ、そして作者が興味を失った？のか、そのままでしばらーく乾燥状態だっ…

Address of Starling software: http://www.starling-software.com/en/access.html Address of Tsuru Capital: http://www.tsurucapital.com/en/contactus.htmlHmmm. :-DI want to attend TSAC meeting for long, but now my kid does not permit me having …

それは、 偉大なるジョン・ハロップ師が既に去られた言語 その事に尽きる。師が興味を持たれた言語コミュニティーは荒れる。何故かは判らない。乱あるところすべからく師あり。師の去るところ平和あり。そう、Haskell は既に解放されたのだ。OCaml も数年前…