型付きラムダ計算とLISP

Clojure（JavaのJVM上で動くLISP）に、型システムをオプトインするTyped Clojure

型なしラムダ計算を特徴としているLISP族ですが、最近は、Typed Racketや Typed Clojure、Shen(Qi II)など型付きラムダ計算をオプトインする仕組みが考案されています。

後付け（オプトイン）の型システムが必要なため、Ocamlのような閉じた型システムより、最近のJavaScriptのJIT開発戦争やScalaの開発により活発になっている型システムの発展に影響を受けています。