Avatar
omochimetaru 9/3/2018 5:47 AM
モジュールをビルドするときに、解決結果とインターフェースの埋め込みが必要でしょうね。 それか、解決した名前と、Generalized Existentialをそれように実装するか・・・?
5:48 AM
Effect on API resilience Opaque result types are part of the result type of a function/type of a variable/element type of a subscript, which cannot be changed without affecting API resilience. We could allow an API originally specified using an opaque result type to later evolve to specify the specific result type. The result type itself would have to become visible to clients, and this might affect source compatibility, but (mangled name aside) such a change would be resilient.
5:48 AM
結果の型それ自体はクライアントから可視になる必要があるだろう。 ( The result type...
(edited)
5:51 AM
そしてそれはソース互換性に影響を与えるだろう、
but以降は英語がわからん