トレードオフ

全員の思いを100%満たせる物は作れない。

折衷案として、コンパイラだが、インタプリタ型として振舞うことができるようなものもある。

CPUでの実行時には、型情報を持たない方が早い。

型情報を持っていると様々な応用が効く。

早く実行するには最適化が望ましい。

最適化するとデバッグ困難になりやすい。

必ずしも最適化がうまく行くとは限らない。(そもそもコンパイラで自動化できる最適化には限度がある。)

言語ユーザーは楽になる。

文法が複雑になる。