依存型が使えるプログラミング言語 - pogi-log

依存型が使えるプログラミング言語

(v6.11以降の)Racket

篩型が使えるプログラミング言語

Pythonで関数型言語の依存型と篩型の型クラスを宣言する方法