Isn't that essentially what floats already are? A sum type of numbers, infinitie... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		zokier on Aug 10, 2018 \| parent \| context \| favorite \| on: 1/0 = 0 Isn't that essentially what floats already are? A sum type of numbers, infinities, and NaN(s).

Someone on Aug 10, 2018 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact