20 Nov
2014
20 Nov
'14
11:42 p.m.
On Fri, Nov 21, 2014 at 1:08 AM, David Feuer wrote:
That bitSizeMaybe makes me a bit nervous.
Can you clarify what makes you nervous about it? Is it the assumption that when bitSizeMaybe == Nothing, the size is infinite? Would it actually hurt anyone to make this thing a subclass of FiniteBits? Er... Obviously, I mean give this a FiniteBits *context*.
Yes, it would reduce the usefulness of the function to finite types in the result, whereas now it can be used, for example, to convert Integer to Natural. Regards, Sean