TK
Из MN?
Size: a a a
2021 May 26
ΑZ
ну ок плюс я выдумал
ΑZ
x - переменная
10 - терм
x => 10 - терм
10 - терм
x => 10 - терм
ΑZ
так лучше?
AN
нету плюсов в лямбда-теории. там ток лямбды
AN
@Psilon правда?
TK
Ладно, а как сложить теперь два числа?
AN
succ succ succ
TK
Термами чисто
B
нет, там есть жаваскрипт)))
TK
Или инкремент хотя бы
ΑZ
x - переменная
10 - терм
правило 1:
x
правило 2:
x 10
Правило 3:
(y => x y)
10 - терм
правило 1:
x
правило 2:
x 10
Правило 3:
(y => x y)
ΑZ
сделать функцию
ΑZ
add
AN
inc = \Lambda x. S x
B
типа билтин
TK
Тогда для чего термы нужны?
AN
как то так?
B
аксиомой!
ΑZ
примерно