scala - 型消去の Scala の「クリーンアップ」

Question

私は Scala の調査を始めたばかりで、Scala のウィキペディアのページで次の当惑する引用を見つけました。

[Scala] クリーンアップ [...] Java の不適切な設計決定 (例: 型消去...

型消去は Java 仮想マシンによって課される制限だと思っていたので、JVM が Scala コードを実行することを考えると、これはどのように「クリーンアップ」されたのでしょうか?

Scala の設計者が JVM にも貢献してくれたことに感謝しています。そのため、彼 / Scala チームが Scala コンパイラを強化して、豊富な実行時の型情報を保持し、型消去を「クリーンアップ」したかどうかを知りたいと思っています。これは事実ですか？

あなたが提供できる洞察を前もって感謝します。

Answer 1

ええと、引用は「排除」ではなく「クリーンアップ」と言っています。型消去はまだ残っており、噛み付く可能性があります。

Scala にはManifests があります。実際のタイプに関する情報を含むManifestオブジェクトです。これはsに関する素晴らしい答えですManifest。