А что такое лямбда исчисление?

Question

Чат экстремального погроммирования

~

А что такое лямбда исчисление?

#it #programming #russian #software

0

19.05.2022

5 ответов

23 просмотра

KTRD

ну ты можешь написать функцию например λx.x лямбда значит что это функция, потом какие аргументы принимает и что возвращает. Эта принимает x и возвращает x. Ещё можешь эту функцию к чему-нибудь применить например (λx.x)y, чтобы это вычислить нужно все аргументы справа от точки по порядку слева от точки заменить на то к чему применяешь. То есть это вернёт y, потому что мы все x заменили на y. В целом всё, математики какую-то хуйню этим потом кодируют.

0

19.05.2022

~ Автор вопроса

KTRD
ну ты можешь написать функцию например λx.x лямбда...

Спасибо

0

19.05.2022

KTRD

KTRD
ну ты можешь написать функцию например λx.x лямбда...

https://en.wikipedia.org/wiki/Church_encoding Во, вот так всякую арифметику кодируют

0

19.05.2022