Arytmetyka w rachunku lambda
Z Wikipedii
Arytmetyka w rachunku lambda opiera się na liczbach naturalnych Churcha.
Podstawowe operacje to:
- Dodawanie: λ n . λ m . λ f . λ x . n f (m f x)
- Mnożenie (można też rekurencyjnie przez dodawanie): λ n . λ m . λ f . n (m f)
- Następnik (plus jeden): (λ n . λ m . λ f . λ x . n f (m f x)) (λ f . λ x . f x) = λ m . λ f . λ x . f (m f x)
- Poprzednik (operacja nie tak trywialna jak powyższe, poprzednik zera to zero): λ n . λ f . λ x . n (λ g . λ h . h (g f)) (λ u . x) (λ v . v)
- Odejmowanie rekursyjnie za pomocą poprzednika
- Potęgowanie: λ n . λ m . λ f . λ x . m n f x
