篩型
refinment type。細別型
Refinement type - Wikipedia
Refinement (computing) - Wikipedia#Refinement_types
Haskell
Haskell.icon
Liquid Haskell
https://gyazo.com/c21e00447bb937d40c9c166bc16a2265
LiquidHaskell Docs
liquidhaskell: Liquid Types for Haskell
Liquid Haskell - Wikipedia
Dodgson Labs「入門LiquidHaskell−篩型による静的コード解析−」2017
refined
refined: Refinement types with static and runtime checking
Announcing the refinement types library – Functional programming debugs you