ストアド・プロパティとか？

6:01 AM

アソシエイテッド・タイプ、イグジステンシャル・タイプ、オペーク・タイプあたりになってくると全部カタカナが良いのか判断が難しそう。 (edited)

6:02 AM

かといって、存在型は existential type とか、訳語の対応覚えるのも無駄なんですよねぇ。

6:02 AM

「存在型」という単語から existential type の本質を理解できるわけじゃないし。

6:03 AM

invariantが「不変」と訳されてたけどimmutableとわかりづらいから「非変」と呼ばれることが多いとか。訳して何かわかりやすくなったのか？感がある・・・。