3 ms·
That's kinda cool. I bet you could take that to the next step and allow arbitrary code for validation of types/arguments at compile time.
by jppittma 1y ago
That's kinda cool. I bet you could take that to the next step and allow arbitrary code for validation of types/arguments at compile time.
- majewsky 1y agoIf you're interested to learn more in whatever language, the relevant search term is "refinement type": https://en.wikipedia.org/wiki/Refinement_type https://en.wikipedia.org/wiki/Refinement_type