https://en.wikipedia.org/wiki/Refinement_type That idea was neatly generalized 3...

		chowells on March 3, 2021 \| parent \| context \| favorite \| on: Giving Ada a Chance 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.