Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.
Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и...
[ДМК] Проектирование на уровне типов [Александр Гранин]
Похожие темы
- Принц Доминации: атлетизм с удовольствием для юных чемпионов [Иван Загорский]
- Оптимизация SQL запросов на примере ClickHouse [stepik] [Трофим Воробьев]
- [Шитье] Основа лифа плоского кроя [Татьяна Романюк]
- Клуб Здоровье: инструкция к применению. Защита кожи от солнца (июнь 2025) [Ольга Евдокимова, Татьяна Жукова]
- Сам себе закупщик [Syaber] [Сергей Сябер]
- Тревожно-фобические расстройства. Что надо знать о тревоге? [EMDR SPB] [Юлия Ерухимович]
- Вторичные выгоды в терапии. Как выстроить работу в EMDR [EMDR SPB] [Татьяна Пирогова]
- [Бумажная лоза] Плетеные фантазии (апрель 2025) [Ольга Рыжкова]
- Игра = развитие. Планы занятий от 1 до 2,5 лет + Планы занятий от 2,5 до 4 лет [Playmamka]
- ТИС Путь к Свободе и Радости [Вадим Черашев]