Any<Animal>がAnimalのextentialでなくなる理由

12:23 PM

説明が難しいんですが、一言で言うと存在型の理論そのままいくとそうなるって感じです。内部的にはいまもopenas ↑の動きになってますね

12:23 PM

https://gist.github.com/ukitaka/34e3132db8a69283e612a77b3e375548

Opening existentials

Opening existentials

12:24 PM

型チェックの段階でopening existentialが入ってます