ФиззБазз ΟΕΔ. Практическое введение в формальную верификацию на зависимых типах Idris 2 +26
Публикации с хабом Функциональное программирование
Трактат о природе формального доказательства -5
Scalabook: пополняемая база знаний о Scala на русском языке +9
Возвратиться или продолжить: поговорим про continuations +29
Русский IT против немцев и финнов в условиях кризиса // Самые модные конвейерные весы +2
- Инженерные системы
- Функциональное программирование
- Управление разработкой
- Управление продуктом
- Управление проектами
Категории типов. Часть 2. Функторы +5
О ценности абстракций +9
Expression Templates +16
Хотите эффективнее программировать? Учитесь строить в уме пошаговые доказательства +56
- Блог компании RUVDS.com
- Программирование
- Спортивное программирование
- Системное программирование
- Функциональное программирование
Базовый Dart (Часть №1) -1
Валидатор на Haskell и причем здесь Applicative +4
SOLID: Не панацея, а инструмент. Осваиваем на практике
Функциональное программирование в Android. Побочные эффекты и ELM-архитектура +7
- Блог компании Dodo Engineering
- Функциональное программирование
- Разработка мобильных приложений
- Android
- Elm
Категории типов. Часть 1. Hom-типы +11
От Аристотеля до Тьюринга: что такое функциональное программирование и как оно облегчает жизнь +29
- Блог компании AvitoTech
- Функциональное программирование
- Ненормальное программирование
- TypeScript
- Программирование
