3 ms·
I agree that it's a question of type: what would you call that type though? I propose "pun" - proportion of unity, or "p(er) un".
by pbhjpbhj 6y ago
I agree that it's a question of type: what would you call that type though?
I propose "pun" - proportion of unity, or "p(er) un".
- quickthrower2 6y agoBetween0And1Inclusive I like verbosity! Or use a dependent type language. Maybe Idris? Then something like Between(0,1) I guess.
- hombre_fatal 6y agoNothing wrong with the name ZeroToOneInclusive. Seems like a great type to have around, and a great name for it. UnitFloat or UnitIntervalFloat or other ideas ITT are cuter but not much clearer.