昨日の何かメモを整理して、 schime.hpp Lispっぽく書くことを第一としたのに、逆に構文が異様なことになっているが気にしない。 d<T, U>はドット対。l<T1, T2>はd<T1, d<T2, empty> >を、l<T1, T2, T3, ..., Tn>はd<T1, d<T2, d<T3, ...d<Tn, empty> ...>を生成するためのマクロ的なもの。マクロからリストを得るにはl<...>::type。リストを評価す</t1,></t1,></t1,></t1,></t,>…