pitel:msz:lambda2
Práce v lambda kalkulu
Church encoding
T | λxy.x |
F | λxy.y |
NOT | λx.xFT |
AND | λxy.xyF |
OR | λxy.xT y |
XOR | λxy.x(NOT y)y |
EQ | λxy.xy(NOT y) |
0, 1, 2, 3, … | λfx.x
λfx.fx
λfx.f(fx)
λfx.f(f(fx))
λfx.fⁿx |
succ | λnfx.f(nfx) |
add | λmnfx.mf(nfx) |
mult | λmnf.m(nf) |
mⁿ | λmn.nm |
iszero | λm.m(λv.FALSE )TRUE |
if then else | λctf.ctf |
tuple | λfse.efs |
first | λp.p(λab.a)1) |
second | λp.p(λab.b)2) |
/var/www/wiki/data/pages/pitel/msz/lambda2.txt · Poslední úprava: 30. 12. 2022, 13.43:01 autor: 127.0.0.1