Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.
Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и...
[ДМК] Проектирование на уровне типов [Александр Гранин]
Похожие темы
- Нутрициология. Полное руководство для практикующих специалистов по питанию [А. В. Погожева, В. А. Тутельян, Д. Б. Никитюк]
- Книга по картинкам и фото в нейросетях 3.0 [Дмитрий Зверев]
- Развод на деньги или Деньги на развод. Личная история финансовой грамотности в браке и в разводе [Евгения Трушникова]
- Из хобби в бизнес [Берегиня]
- Шедевры импрессионизма [Александра Жукова]
- Спортивное питание: Салаты + Выпечка + Коктейли [Эл Ли]
- Английский язык. Словарный тренажер. Лексика: Дом. Выпуск 0101 + Английский язык. Словарный тренажер. Лексика: Кухня. Выпуск 0201 [Асбйорн Расен]
- Шуточный конкурс "Фото Шот" [Dan Fray Shop] [Ден Фрай]
- Адвент "Первые шаги" для будущих второклассников [Стася Крапивка]
- Трансмедитации пакет "Источник Вдохновения" [Дмитрий Калинкин]