https://en.wikipedia.org/wiki/Refinement_type https://en.wikipedia.org/wiki/Refinement_type That idea was neatly generalized 30 years ago. So expect it to star

https://en.wikipedia.org/wiki/Refinement_type https://en.wikipedia.org/wiki/Refinement_type That idea was neatly generalized 30 years ago. So expect it to start showing up as the hot new thing in another 20.