っていうか sign n | n > 0 = 1 | n == 0 = 0 | n < 0 = -1↓↓↓↓↓↓↓↓↓↓ template<class Integer, class = disable_if<less_equal<Iteger, zero> >::type> struct sign : public int_<1>{ }; template<class Integer> struct sign<Integer, enable_if<equal_to<Integer, zero> >::type> : public int_<0>{ }; template</integer,></class></class>

「そうそう，Haskellで遊んで思ったんですがC++のTemplate MetaProgrammingってFunctional Programmingな側面が強いですね」ってネタをいつか振ろうとしていたんですが，↑のスレッド読んでたらその気が失せました．自分がごちゃごちゃ言うより↓のポスト（↑の…

http://tinyurl.com/59bav (comp.lang.c++.moderated 2004/08/08~ "Evolution of C++ : Thinking ahead of what's to come - Part 1") 超巨大スレッド発見．っていうか「うひょー」な面々のオンパレード．