どこまでやるか分からんけどmapとかの中を評価し出したらけっこうすぐダメになると思うし、IntとFloatのリテラルを混ぜるとか演算子のオーバーロードも危ないね。

2:24 AM

でもそろそろマクロのASTに型が付くんじゃないか。