Давно ждал эту тему! Поговорим о Ньютоне, теории относительности, истине и моделях вычислимости. Перейдём от вопросов декларативного и императивного программирования к лямбда-исчислению и научному методу.
- Короткое практическое описание https://learnxinyminutes.com/docs/lambda-calculus/
- Хорошее видео: Fundamentals of Lambda Calculus &
Давно ждал эту тему! Поговорим о Ньютоне, теории относительности, истине и моделях вычислимости. Перейдём от вопросов декларативного и императивного программирования к лямбда-исчислению и научному методу.