https://courses.digitable.life/tags/%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5/ Recent content in Функциональное Программирование on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:19:38 +0300 https://courses.digitable.life/post/logic/00a-history-and-levels-of-abstraction/ Tue, 28 Jul 2026 10:05:00 +0300 https://courses.digitable.life/post/logic/00a-history-and-levels-of-abstraction/ Две полноценные редакции одной истории: человеческий путь от убеждения к доказательству и инженерный путь от требования к типам, политикам, тестам и архитектуре. https://courses.digitable.life/post/functional-programming/06-adt-and-pattern-matching/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/06-adt-and-pattern-matching/ Как суммы и произведения типов убирают невозможные состояния из программы, зачем нужна проверка исчерпывающности и во что обходится моделирование данных через ADT. 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/functional-programming/16-architecture-and-practice/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/16-architecture-and-practice/ Как собрать из чистых функций целое приложение: функциональное ядро и императивная оболочка, решения как данные, что делать, когда сэндвич ломается, честная цена подхода и куда идти дальше. https://courses.digitable.life/post/functional-programming/09-functor-map/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/09-functor-map/ Одна связная карта всех абстракций ФП: зачем нужна каждая ступень от Semigroup до Comonad, чем они отличаются по силе, как выбрать нужную под задачу и сколько всё это стоит в реальном проекте 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/functional-programming/05-composition-and-currying/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/05-composition-and-currying/ Как из маленьких функций собирать большие: композиция и её законы, каррирование и частичное применение, порядок аргументов data-first против data-last, конвейеры, трансдьюсеры и честная цена point-free стиля. https://courses.digitable.life/post/functional-programming/14-concurrency/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/14-concurrency/ Почему разделяемое изменяемое состояние — источник почти всех багов конкурентности, и что предлагают взамен ФП-модели: STM, акторы, каналы, чистый параллелизм. С честной ценой каждой. https://courses.digitable.life/post/functional-programming/11-laziness-and-streams/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/11-laziness-and-streams/ Ленивое вычисление — это не экзотика Haskell, а способ разделить «что мы порождаем» и «сколько нам нужно». Разбираем thunk и call-by-need, генераторы, бесконечные списки, потоки, backpressure и честную цену: space leak, непредсказуемую память и сломанный порядок эффектов. 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/functional-programming/08-monads/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/08-monads/ Монада — не философия, а ответ на конкретную боль: как соединять функции, которые возвращают не значение, а значение в контейнере. Разбираем от лестницы if-ов до законов, do-нотации, трансформеров и честной цены абстракции. https://courses.digitable.life/post/functional-programming/02-immutability/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/02-immutability/ Почему запрет на изменение данных убирает целый класс багов, как обновлять неизменяемые структуры без квадратичного копирования и сколько это реально стоит в проде. 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/functional-programming/10-error-handling/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/10-error-handling/ Почему исключения и null плохо масштабируются, как Option, Either и Result делают отказ частью типа, чем аппликативное накопление ошибок отличается от монадического короткого замыкания и сколько всё это стоит в проде. https://courses.digitable.life/post/paradigms/00-overview/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/paradigms/00-overview/ Обзорная статья трека: что такое парадигма как инженерное понятие, по каким осям парадигмы различаются, откуда они взялись исторически, как они смешиваются в реальных системах — и как читать остальные девять статей трека. 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/functional-programming/12-persistent-data-structures/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/12-persistent-data-structures/ Как устроены внутри персистентные векторы, HAMT, finger tree и зипперы, почему амортизация ломается под персистентностью и сколько на самом деле стоят неизменяемые коллекции в проде. 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/functional-programming/04-recursion/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/04-recursion/ Почему в ФП повторение делают рекурсией, как устроен стек вызовов, что такое хвостовой вызов и TCO, как превращать рекурсию в хвостовую аккумулятором, и что делать в языках без оптимизации хвостовых вызовов — трамплины, CPS, явный стек, мемоизация. 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/10-category-theory-in-programming/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/10-category-theory-in-programming/ Как абстрактная чепуха превращается в рабочий инструмент: категория типов, законы функтора и монады, аппликативная валидация, катаморфизмы вместо ручной рекурсии и линзы для неизменяемых структур — со строгими определениями и исполняемым кодом. 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/functional-programming/15-fp-in-mainstream-languages/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/15-fp-in-mainstream-languages/ Как применять функциональные идеи в языках, которые не задумывались функциональными: что каждый из шести языков даёт из коробки, что приходится эмулировать, чем именно за это платят и в каком порядке внедрять https://courses.digitable.life/post/functional-programming/07-functors-and-applicatives/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/07-functors-and-applicatives/ Как из повторяющегося кода «распаковать — применить — запаковать» рождаются функтор и аппликатив, зачем нужны их законы и почему валидация формы с накоплением всех ошибок сразу — это аппликатив, а не монада. https://courses.digitable.life/post/functional-programming/03-higher-order-functions/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/03-higher-order-functions/ Как превращение функции в обычное значение убирает дублирование кода, откуда берутся map/filter/reduce, что на самом деле хранит замыкание и сколько всё это стоит в проде https://courses.digitable.life/post/functional-programming/00-overview/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/00-overview/ Вводная статья курса по ФП: какую конкретную боль решает функциональный стиль, откуда он взялся, что даёт на практике, сколько стоит — и как устроен этот курс из 17 статей. https://courses.digitable.life/post/paradigms/03-functional/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/paradigms/03-functional/ Как работает функциональная парадигма изнутри: ссылочная прозрачность, персистентные структуры данных, композиция, свёртки, эффекты как значения — и как это применяют в промышленном коде. https://courses.digitable.life/post/design-patterns/05-functional-patterns/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/design-patterns/05-functional-patterns/ Как устроен второй словарь паттернов — функции как значения, функторы и монады с их законами, аппликативная валидация, парсер-комбинаторы и линзы — с рабочим кодом, разбором сложности и честной ценой абстракции. 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. https://courses.digitable.life/post/functional-programming/01-pure-functions/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/01-pure-functions/ Что такое чистота на самом деле, какие бывают побочные эффекты, что чистота даёт (тесты, мемоизация, параллелизм, рефакторинг) и сколько она реально стоит. https://courses.digitable.life/post/functional-programming/13-effects-and-io/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/13-effects-and-io/ Программа без эффектов бесполезна. Разбираем, как ФП решает эту проблему: от разделения на ядро и оболочку до эффекта-как-значения, Free-монад, tagless final, эффект-систем ZIO/Effect и алгебраических эффектов — с честной ценой каждого подхода.