https://courses.digitable.life/tags/%D0%BB%D1%8F%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5/ Recent content in Лямбда-Исчисление on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 https://courses.digitable.life/post/lambda-calculus/03-reductions/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/03-reductions/ Разбираем три правила переписывания лямбда-исчисления — переименование, вызов и упрощение — с полной пошаговой раскруткой редукций и рабочим редуктором на Python и JavaScript. https://courses.digitable.life/post/lambda-calculus/04-booleans/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/04-booleans/ В лямбда-исчислении нет true, false и if — и они не нужны: булево значение оказывается функцией выбора из двух аргументов, а весь набор логических операций собирается из неё за десяток символов. https://courses.digitable.life/post/lambda-calculus/10-in-practice/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/10-in-practice/ Где именно лямбда-исчисление живёт в языках, на которых вы пишете каждый день: стрелочные функции как абстракции, вызов как бета-редекс, let как сахар, замыкания как оптимизация подстановки, и почему compiler-разработчики до сих пор мыслят термами. https://courses.digitable.life/post/lambda-calculus/00-overview/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/00-overview/ Язык программирования из трёх правил, придуманный до появления компьютеров: зачем он нужен практикующему разработчику и как читать первые редукции. https://courses.digitable.life/post/lambda-calculus/01-syntax/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/01-syntax/ Весь синтаксис лямбда-исчисления — три конструкции и два соглашения о скобках; учимся читать выражения вслух и переводить их в стрелочные функции JavaScript и Python. https://courses.digitable.life/post/lambda-calculus/06-pairs-and-lists/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/06-pairs-and-lists/ Как построить кортеж, запись и связный список, когда в языке есть только функции: пара Чёрча, два способа кодировать списки, полные раскрутки редукций и рабочий код на JavaScript и Python. https://courses.digitable.life/post/lambda-calculus/07-recursion-and-y/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/07-recursion-and-y/ Как написать факториал в языке, где у функций нет имён: приём открытой рекурсии, вывод комбинатора Y с полной раскруткой редукций, его боевой вариант Z для JavaScript и Python и практические применения — мемоизация, трассировка, fix в Haskell. https://courses.digitable.life/post/lambda-calculus/02-variables-and-substitution/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/02-variables-and-substitution/ Разбираем, чем переменная-параметр отличается от переменной из внешнего мира, как правильно подставлять выражение вместо переменной и почему наивная замена букв ломает смысл программы. https://courses.digitable.life/post/lambda-calculus/08-evaluation-strategies/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/08-evaluation-strategies/ Почему одно и то же лямбда-выражение может завершиться или зациклиться в зависимости от того, какой редекс вы сократили первым — и как из этого выросли строгие языки, ленивые языки и мемоизированные thunk-и. https://courses.digitable.life/post/mathematics/11-computability/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/11-computability/ Что значит «вычислимо»: машина Тьюринга со строгим определением и работающим симулятором, лямбда-исчисление с нумералами Чёрча и комбинатором неподвижной точки, тезис Чёрча–Тьюринга, доказательство неразрешимости проблемы остановки, теорема Райса, колмогоровская сложность и практические следствия для типов, линтеров и статического анализа. https://courses.digitable.life/post/lambda-calculus/09-typed-lambda/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/09-typed-lambda/ Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, что система типов и математическая логика это буквально одно и то же. https://courses.digitable.life/post/lambda-calculus/05-numerals/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/05-numerals/ Как из одних только функций получаются натуральные числа, сложение, умножение, степень и коварный предшественник — с полной раскруткой каждой редукции и рабочим кодом на JavaScript и Python.