篩型
篩型(ふるいがた、Refinement Type)
LiquidHaskell
Erg
確認用
Q. 篩型
参考
/mrsekut-p/篩型
(1) チェシャ猫さんはTwitterを使っています: 「@waddlaw 五十嵐先生と末永先生が発案した訳語のようです。 https://t.co/rcZuFuptl6」 / Twitter
関連
依存型