制約された総称と、総称のインスタンス同士の継承関係について調べる。 http://en.wikipedia.org/wiki/Eiffel_programming_language あああ！？ いつの間にかEiffelがagent(要はクロージャ、任意位置の引数のbindも可能っぽい)やらtupleやプロパティのセッタ…

C++0xの話を聞いてきました。 concept_mapという、Haskellのclassに対するinstanceで書くアダプタをusingで後から選択/交換可能というステキ機能が追加されるそうです。 仮に、++と*と比較演算子を要求するInputIteratorがあったとして、intに足りないのは*…

東京が恐いのはさんざ話したけんど、大宮も恐いところだべさ。