Changes between Version 2 and Version 3 of Natural


Ignore:
Timestamp:
Mar 1, 2006 11:27:18 PM (8 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Natural

    v2 v3  
    1515But what is the value of '''fib (-3)'''?  A runtime stack overflow!  Much better to catch this error at compile time. 
    1616 
     17== Comment == 
     18 
     19If 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. 
     20 
    1721== Proposal == 
    1822