>>45
Lisp にないのではなく Common Lisp にないって話。
高度な型システムはあって型システムをカスタマイズする仕組み (メタオブジェクトプロトコル) もあるけど静的に整合性を検証したりはしない。
Common Lisp は実行時エラーになったらそのままデバッグモードに入ってエラーが出たときの環境を調査したり書き換えたりしてプログラムを停止せずに続けられる仕組みがある。
ランタイムと人間もシステムの一部であるという思想なので運用の前提が Rust とは違う。

まあどれだけガチガチに型で固めてもどうせ不具合は出るもんだという前提に立つと Common Lisp のほうが現実的な場面は結構あるかもしれない。
ちなみに Lisp 系言語には静的型を指向するものもあるよ。