Как человечество научилось рассуждать: от Аристотеля до программ и категорий
Две полноценные редакции одной истории: человеческий путь от убеждения к доказательству и инженерный путь от требования к типам, политикам, тестам и архитектуре.
Локально и без аккаунта. Аккаунта нет, регистрация не нужна: введённое в инструменты остаётся в localStorage браузера и на сервер не уходит.
Свой счётчик считает открытия страниц и дочитывания: уезжает адрес и десятая доля текста. Без cookies и чужих счётчиков, IP не хранится, Do Not Track уважается. Как это проверить
Репозиторий портала не выложен, «открытым кодом» мы его не зовём. Открыто это:
Живёт портал на донатах, платных консультациях и разборах по запросу и покупке Workbench.
Планов делать курсы платными нет.
Выкладка от 16 сентября 2026, срез 95043e5
Что изменилось на портале с вашего прошлого захода. Полный список выкладок — в разделе «Что изменилось» на странице «О нас».
38 материалов в этой теме.
Две полноценные редакции одной истории: человеческий путь от убеждения к доказательству и инженерный путь от требования к типам, политикам, тестам и архитектуре.
Программа без эффектов бесполезна. Разбираем, как ФП решает эту проблему: от разделения на ядро и оболочку до эффекта-как-значения, Free-монад, tagless final, …
Что такое чистота на самом деле, какие бывают побочные эффекты, что чистота даёт (тесты, мемоизация, параллелизм, рефакторинг) и сколько она реально стоит.
Как из одних только функций получаются натуральные числа, сложение, умножение, степень и коварный предшественник — с полной раскруткой каждой редукции и рабочим кодом на …
Как устроен второй словарь паттернов — функции как значения, функторы и монады с их законами, аппликативная валидация, парсер-комбинаторы и линзы — с рабочим кодом, …
Как работает функциональная парадигма изнутри: ссылочная прозрачность, персистентные структуры данных, композиция, свёртки, эффекты как значения — и как это применяют в …
Вводная статья курса по ФП: какую конкретную боль решает функциональный стиль, откуда он взялся, что даёт на практике, сколько стоит — и как устроен этот курс из 17 …
Как превращение функции в обычное значение убирает дублирование кода, откуда берутся map/filter/reduce, что на самом деле хранит замыкание и сколько всё это стоит в проде
Как из повторяющегося кода «распаковать — применить — запаковать» рождаются функтор и аппликатив, зачем нужны их законы и почему валидация формы с накоплением всех ошибок …
Как применять функциональные идеи в языках, которые не задумывались функциональными: что каждый из шести языков даёт из коробки, что приходится эмулировать, чем именно за …
Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, …
Как абстрактная чепуха превращается в рабочий инструмент: категория типов, законы функтора и монады, аппликативная валидация, катаморфизмы вместо ручной рекурсии и линзы …
По этому запросу ничего не найдено.