JVMの実行時の型チェックをオフにする

Question

JVMで実行時の型チェックをオフにすることができるかどうかは疑問です。私はOCamlからJavaバイトコードにコンパイルするプロジェクトをやっています。

（OCaml型チェッカーで）コンパイル時にすべての型チェックを行うと、パフォーマンスが向上する可能性があることを示したいと思います。

Answer 1

実際のJavaバイトコードを読んだ後、私は自分の問題が正確に型チェックではないことに気付きました。型チェック部分については、Andersenの答えが問題を解決します。