scala - Scala が Fantom のような「const クラス」を持つことの障害は何ですか?

Question

Fantom は証明可能な不変クラスをサポートしています。クラスが不変であることをコンパイラが認識していることの利点は数多くあるに違いありません。Fantom のアプローチは単純に見えますが、Scala にとってどのような問題が生じるでしょうか?

Answer 1

アプローチは簡単かもしれませんが、

1. その保証は反省によって破られる可能性があります。
2. これにはかなりの労力が必要であり、Scala チームはその価値がない、または優先事項ではないと考える可能性があります。