Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.
Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и...
[ДМК] Проектирование на уровне типов [Александр Гранин]
Похожие темы
- Фототерапия как современный метод арт-терапии в работе психолога [НАДПО] [Александра Зорина, Дарья Волкова]
- Гелотология (смехотерапия) в практике психолога [НАДПО] [Александра Зорина, Дарья Волкова]
- Облигационный портфель на российском рынке: ежемесячные идеи от эксперта [Тариф Vip] [Максим Петро
- Пособие по чтению "I Can!", адаптированное для детей с дислексией [Dyslexic English] [Евгения Филипович]
- Плоский Живот [Mari Stretching]
- Деньги как партнер [Надежда Владиславова]
- Как изменить свою жизнь в нужном направлении [Надежда Владиславова]
- Как справиться с жизненными изменениями с помощью НЛП [Надежда Владиславова]
- Простые идеи – реальные деньги. 200 способов начать свое дело [Эвелина Кошкина]
- Экспресс-курс Гипнонастроев на женственность [Надежда Владиславова]