Hacker News new | ask | show | jobs
by majewsky 402 days ago
If you're interested to learn more in whatever language, the relevant search term is "refinement type": https://en.wikipedia.org/wiki/Refinement_type