Changes between Version 3 and Version 4 of Natural


Ignore:
Timestamp:
Mar 28, 2006 9:09:30 PM (8 years ago)
Author:
nhn@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Natural

    v3 v4  
    1919If we do add them, then (a) they should probably be arbitrary in size; and (b) function definitions like fib should *not* be overloaded on Num, but should be monomorphic in Nat. 
    2020 
     21== Comment == 
     22 
     23Not unreasonable at all, but restricting numeric patterns to Nat (actually, I'd say Natural if they're arbitrary in size) would likely break 
     24quite a bit of code, and I wonder if the payback in practice actually is worth it for Haskell'. Also, "-" and possibly other operations 
     25would presumably become partial, which might introduce new bugs. (Yes, could also return 0, but that could be a bit surprising as well.) 
     26Also, I don't think this has been widely implemented and tested yet, and thus it's hard to gauge the impact? 
     27 
    2128== Proposal == 
    2229