next up previous contents index
Next: Multiplying two numbers: mult Up: Arithmetic Operations Previous: Adding two numbers: add   Contents   Start


succ


(define succ (lambda (n)
   (lambda (f)
      (compose f (n f)))))

This abstraction returns the successor of a certain number which means it adds the value 1 to it.


Georg P. Loczewski 2004-03-05


Impressum und Datenschutz