Avatar
omochimetaru 4/11/2019 3:47 AM
型の決まり方っていうコンパイルステージの新しさしかなくって、 実行時モデルとしては ジェネリックな T 型 の resilient版のコードや Existentialと変わらない気がするんですよね
3:48 AM
同一モジュールでコードが見える場合やinline化可能な場合に生じるのはspecialize最適化と同じだし。
3:49 AM
実装で大変なのは型解決中のSemaのデータ構造の方に見える