Тема: функциональное программирование

Статья

Монады без страха: что это на самом деле и зачем

Монада — не философия, а ответ на конкретную боль: как соединять функции, которые возвращают не значение, а значение в контейнере. Разбираем от лестницы if-ов до законов, …

#функциональное программирование#монады#композиция

Статья

Лямбда-исчисление в живых языках: от Lisp до современных стрелочных функций

Где именно лямбда-исчисление живёт в языках, на которых вы пишете каждый день: стрелочные функции как абстракции, вызов как бета-редекс, let как сахар, замыкания как …

#лямбда-исчисление#функциональное программирование#компиляторы

Статья

Лямбда-исчисление Чёрча: зачем оно программисту и что это вообще такое

Язык программирования из трёх правил, придуманный до появления компьютеров: зачем он нужен практикующему разработчику и как читать первые редукции.

#лямбда-исчисление#функциональное программирование#теория вычислений

Статья

Ленивость, бесконечные структуры и потоки данных

Ленивое вычисление — это не экзотика Haskell, а способ разделить «что мы порождаем» и «сколько нам нужно». Разбираем thunk и call-by-need, генераторы, бесконечные списки, …

#функциональное программирование#ленивые вычисления#потоки данных

Статья

Конкурентность в ФП: неизменяемость, STM, акторы

Почему разделяемое изменяемое состояние — источник почти всех багов конкурентности, и что предлагают взамен ФП-модели: STM, акторы, каналы, чистый параллелизм. С честной …

#функциональное программирование#конкурентность#многопоточность

Статья

Композиция, каррирование, частичное применение и конвейеры

Как из маленьких функций собирать большие: композиция и её законы, каррирование и частичное применение, порядок аргументов data-first против data-last, конвейеры, …

#функциональное программирование#композиция функций#каррирование

Статья

Комбинаторная логика: S, K, I и программирование без переменных

Что останется от лямбда-исчисления, если выбросить переменные: три комбинатора вместо всего языка, алгоритм механического перевода любой лямбды в S и K, честная цена …

#лямбда-исчисление#комбинаторы#функциональное программирование

Статья

Кодирование Чёрча: истина, ложь и условия из одних функций

В лямбда-исчислении нет true, false и if — и они не нужны: булево значение оказывается функцией выбора из двух аргументов, а весь набор логических операций собирается из …

#лямбда-исчисление#функциональное программирование#логика

Статья

Когда паттерн растворяется в системе типов

Половина каталога GoF — обход отсутствующих языковых конструкций: функции как значения, sealed-типы с сопоставлением образцов, дженерики и трейты, typestate и newtype. …

#паттерны проектирования#типы#ооп

Статья

Карта функторов: иерархия абстракций ФП от полугруппы до комонады

Одна связная карта всех абстракций ФП: зачем нужна каждая ступень от Semigroup до Comonad, чем они отличаются по силе, как выбрать нужную под задачу и сколько всё это …

#функциональное программирование#функторы#монады

Статья

Архитектура на ФП: функциональное ядро и императивная оболочка, ресурсы

Как собрать из чистых функций целое приложение: функциональное ядро и императивная оболочка, решения как данные, что делать, когда сэндвич ломается, честная цена подхода …

#функциональное программирование#архитектура#тестирование

Статья

Альфа, бета и эта: три преобразования, из которых всё состоит

Разбираем три правила переписывания лямбда-исчисления — переименование, вызов и упрощение — с полной пошаговой раскруткой редукций и рабочим редуктором на Python и …

#лямбда-исчисление#редукция#функциональное программирование