http://twitter.com/cpp_akira/status/5995895644 中身は追ってないけど、 BOOST_SCOPE_EXIT_END はどうにかならないのかなー、とか http://twitter.com/DecimalBloat/status/5996160887 SCOPE_EXIT_ENDを消すのは無理っぽいです。詳しく書くとややこしいの…

class Functor f => Applicative f where pure :: a->f a <*> :: f (a->b)->f a->f b class Foldable t where foldr :: (a->b->b)->b->t a->b foldr f b = foldMap (`f` b) foldMap :: Monoid m => (a->m)->t a->m foldMap f = foldr (mappend . f) mempty c…

話とかは気が向いたら書く… decList x = x:if x == 0 then [] else decList (x - 1) fix $ \f x->x:if x == 0 then [] else f (x - 1) \f x->x:if x == 0 then [] else f (x - 1) fix :: (a->a)->a loop :: a (b, d) (c, d)->a b c fix f = f $ fix f loop f…

数学ガール ゲーデルの不完全性定理は読み終わった。クワイン。あと論理学をつくるとRWHを気分に応じて読んでいる。そんなことをしているから読み終わる気がしない。それとセッション資料。こっちも素晴らしく進まない。あぁ、そういえば先月新しくTVキャプ…

http://atnd.org/events/1839 には既に書いてありますが、Boost.Preprocessorをお題目に30分ぐらいやります。まぁ時間配分とかは全然分からないので、適当にやります。 何か当日はustでも配信されるらしいので、私の無惨な姿を見たいなら要チェケラ！

世間では空前のプリプロセッサブームですね！ http://codepad.org/IwJ4sqA9 C++0xの規格を眺めていると、プリプロセッサのセクションに可変長引数リスト付きマクロが入っていたので、これを使って何か面白いことができないかと考えていたところ、タプルの要…