Re: C++ の template メンバ関数の表現法について

テンプレートメンバ関数(parameterized operation)に関してはSuperstructureの17.5.12にあると思いますが．
＃EAでどうやるかってことかな？
＃だとしたら，分かりませんが…


仕様上の表記としては今回の例の場合，以下のようになるかと思います：

public foo <T> << T->Y >>(t:T)

ちなみに複数の場合は：

public bar <T1, T2> << T1->Y1, T2->Y2 >>(t1:T1,t2:T2):Boolean