Лямбда-исчисление
Лямбда-исчисление в 397 байтах / Хабр
https://habr.com/ru/post/654273/
Если кто разберется в этом, то просьба на пальцах пояснить.
Я сам еще не читал. Но ощущение, что нечто подобное я и хотел сделать в одном вопросе.
Оставляю для себя на потом этот ребус.
===
Определения
Вот некоторые важные значения:
nil="λλ0"
false="λλ0"
true="λλ1"
Вот некоторые важные абстракции:
if="λ 0"
omega="λ [0 0]"
pair="λλλ [[0 2] 1]"
car="λ [0 $true]"
cdr="λ [0 $false]"
or="λλ [[0 0] 1]"
and="λλ [[0 1] 0]"
not="λλλ [[2 0] 1]"
xor="λλ [[1 λλ [[2 0] 1]] 0]"
bitxor="λλ [[1 0] λλ [[2 0] 1]]"
iszero="λλλ [[2 λ 1] 1]"
Y="λ [λ [0 0] λ [1 [0 0]]]"
===
https://habr.com/ru/post/654273/
Если кто разберется в этом, то просьба на пальцах пояснить.
Я сам еще не читал. Но ощущение, что нечто подобное я и хотел сделать в одном вопросе.
Оставляю для себя на потом этот ребус.
===
Определения
Вот некоторые важные значения:
nil="λλ0"
false="λλ0"
true="λλ1"
Вот некоторые важные абстракции:
if="λ 0"
omega="λ [0 0]"
pair="λλλ [[0 2] 1]"
car="λ [0 $true]"
cdr="λ [0 $false]"
or="λλ [[0 0] 1]"
and="λλ [[0 1] 0]"
not="λλλ [[2 0] 1]"
xor="λλ [[1 λλ [[2 0] 1]] 0]"
bitxor="λλ [[1 0] λλ [[2 0] 1]]"
iszero="λλλ [[2 λ 1] 1]"
Y="λ [λ [0 0] λ [1 [0 0]]]"
===