Hacker News new | ask | show | jobs
by zokier 2877 days ago
Isn't that essentially what floats already are? A sum type of numbers, infinities, and NaN(s).
1 comments
Someone 2877 days ago
Yes and no. I think the OP is looking for a strongly typed language where you can’t do any operation on that sum type, forcing you to check results after every operation.
link