2010-12-30から1日間の記事一覧
http://article.gmane.org/gmane.comp.lang.haskell.cafe/84865「A correspondence between ALGOL 60 and Church's lambda notation」という名の論文の中で、P. J. Landinという者がMonadをはじめ、call/cc、 streams、 delayed evaluations、 co-routinesな…
http://paul.kedrosky.com/archives/2010/12/back_in_2007_ri.htmliPhone公開の翌日、全員集会で議論した結果アップルは嘘をついているという結論に達した。あのサイズのスクリーンはバッテリーがすぐ上ってしまうだろう、というのがその理由だった。実機を…