>>57
Typed Racket は漸進的型付け。
根本的には動的な言語であるという前提で部分的に静的な検査を導入しただけで、それほど強くは静的型検査を指向してない。

Lisp 系でかなり強く静的型に寄ってるのは Carp だと思う。
Lisp 系にしては GC がないという思い切った設計になっていてメモリ管理は Rust を参考にした借用モデルを使っている。
でもまあ Lisp らしさって動的な部分にあると思うんで、あえて Lisp でやる価値もそんなには無いかなぁ……という気持ちもある。