Tについて、covariantなのかcontravariantなのかが宣言できれば、無理なく機能を追加出来そう。今やろうとすると、Generics型の変数と関数と場合によってはextensionすらチェックして、covariantかcontravariantなのかを判断することになるのかな、無茶っぽい。

11:55 AM

covariantなら、covariantなGenerics型と変数と返り値がTな関数が通る。 contravariantなら、contravariantなGenerics型と引数がTな関数が通る。

11:55 AM

これであってるだろうか…