2
Dlaczego optymalne wartościowanie rachunku λ są w stanie obliczyć duże modułowe wykładniki bez wzorów?
Liczby kościelne to kodowanie liczb naturalnych jako funkcji. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 Zgrabnie, możesz potęgować 2 liczby kościołów, po …