33 материалов в этой теме.
Две полноценные редакции одной истории: человеческий путь от убеждения к доказательству и инженерный путь от требования к типам, политикам, тестам и архитектуре.
Программа без эффектов бесполезна. Разбираем, как ФП решает эту проблему: от разделения на ядро и оболочку до эффекта-как-значения, Free-монад, tagless final, …
Что такое чистота на самом деле, какие бывают побочные эффекты, что чистота даёт (тесты, мемоизация, параллелизм, рефакторинг) и сколько она реально стоит.
Как из одних только функций получаются натуральные числа, сложение, умножение, степень и коварный предшественник — с полной раскруткой каждой редукции и рабочим кодом на …
Как устроен второй словарь паттернов — функции как значения, функторы и монады с их законами, аппликативная валидация, парсер-комбинаторы и линзы — с рабочим кодом, …
Как работает функциональная парадигма изнутри: ссылочная прозрачность, персистентные структуры данных, композиция, свёртки, эффекты как значения — и как это применяют в …
Вводная статья курса по ФП: какую конкретную боль решает функциональный стиль, откуда он взялся, что даёт на практике, сколько стоит — и как устроен этот курс из 17 …
Как превращение функции в обычное значение убирает дублирование кода, откуда берутся map/filter/reduce, что на самом деле хранит замыкание и сколько всё это стоит в проде
Как из повторяющегося кода «распаковать — применить — запаковать» рождаются функтор и аппликатив, зачем нужны их законы и почему валидация формы с накоплением всех ошибок …
Как применять функциональные идеи в языках, которые не задумывались функциональными: что каждый из шести языков даёт из коробки, что приходится эмулировать, чем именно за …
Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, …
Как абстрактная чепуха превращается в рабочий инструмент: категория типов, законы функтора и монады, аппликативная валидация, катаморфизмы вместо ручной рекурсии и линзы …
По этому запросу ничего не найдено.
