ジェネリック関数については基本的にspecializeされまくって消去されます。

9:31 AM

でも、外部からリンクしたときのために、柔軟なバージョンがオーバーロードされて残る。

9:31 AM

Generalized Existentialsも同じ事が言えるはずで

9:32 AM

特に型の中のフィールドとかで使われちゃうと

9:32 AM

public な struct とかだったら、無理ですね

9:32 AM

パッケージローカルなstructだったら、 Arrayで使われてる場合は、Arrayにspecializeされた版で動かして・・・という風に消去できれば、

9:32 AM

最高な可能性はあります

9:33 AM

それならC++のtemplate classと同じになりますね。