3 ms·
It seems like it would be more practical to create non-zero integer/other number types, and only those can be used as denominators. But it would also be nice to
by trealira 3y ago
It seems like it would be more practical to create non-zero integer/other number types, and only those can be used as denominators. But it would also be nice to not have to make a custom subtype every time you needed something with a specific property.
- munchler 3y agoAgreed. I think this is where dependent types become useful, but that is a whole can of worms.