まず関数型のテンプレートエンジンの定義なんだけど、とりあえず以下を満たすもので考える。 各テンプレートが独立した静的スコープを持つ テンプレート(の一部)がファーストクラスのオブジェクトとして扱える。 変数に代入したり、引数で渡せる。 折角なん…