依存型が使えるプログラミング言語
Rocq
(
Coq
)
Agda
Idris
Lean
Epigram
LiquidHaskell
(v6.11以降の)
Racket
ATS2
(?)
篩型が使えるプログラミング言語
Pythonで関数型言語の依存型と篩型の型クラスを宣言する方法