clojure - 型消去はClojureの存在にどのように役立ちますか?

Question

JVM型消去はClojureにどのように役立ちますか? それなしでClojureは存在できますか？JVM が具体化された型を持っていたらどうなるでしょうか? つまり、Clojure はどのように変化するのでしょうか?

Answer 1

Clojure はまったく変更されません。型消去は、ジェネリックの Java の型パラメーターにのみ適用されます。他のすべてのタイプは、実行時に使用できます。

Clojureのソースを参照すると、ジェネリックはほとんど使用されていません。ランタイムObjectでは、 s を渡し、チェックinstanceofを行います。すべてを として扱うことにより、Objectジェネリクスが不要になり、消去される型パラメーターがなくなります。

Answer 2

私が言えることからすると、Clojure は JVM からの型消去を使用しないため、それがなくても大きな変化はないと思います。