Deputy：Clojure上に構築された従属型プログラミング言語

Deputyは、Clojure上に構築された実験的な従属型プログラミング言語であり、帰納的データ型を備えています。LispベースのREPL駆動型インタラクティブ開発ワークフローが、プログラミングと型チェックの両方にどのような影響を与えるかを調査しています。Clojureライブラリとして実装されているため、型レベルでプログラミングしながら、ホスト言語Clojureの機能を利用できます。これにより、値に依存する型レベルの計算が可能になり、強力なプログラミングパターンが実現します。重要なのは、型の豊富な動的セマンティクスにもかかわらず、型チェックは純粋にコンパイル時に行われる操作であるということです。