Корзина
пуста
Проектирование на уровне типов
Увеличить
Дополнительные изображения
Проектирование на уровне типов - Фото 1Проектирование на уровне типов - Фото 2Проектирование на уровне типов - Фото 3Проектирование на уровне типов - Фото 4Проектирование на уровне типов - Фото 5Проектирование на уровне типов - Фото 6Проектирование на уровне типов - Фото 7Проектирование на уровне типов - Фото 8Проектирование на уровне типов - Фото 9Проектирование на уровне типов - Фото 10Проектирование на уровне типов - Фото 11Проектирование на уровне типов - Фото 12

Проектирование на уровне типов

Александр Гранин

новинка
-20%
Цена: 15 050 ₸
Цена со скидкой: 12 040 ₸
Вы экономите: 3 010 ₸ (20%)
Оплатить за товар можно при получении.
Есть бесплатная доставка по Казахстану.

Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы! Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости. Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений — от сбора требований до архитектуры и проектирования компонентов. Универсальность изложенных идей показана на примерах для трех языков: Haskell, Scala и Rust.

Основные темы, рассматриваемые в книге:
• шаблоны проектирования уровня типов;
• расширяемость и адаптивные архитектуры приложений;
• интерфейсы на уровне типов;
• предметно-ориентированные языки на уровне типов;
• типобезопасность и статическая целостность;
• корректность и верификация на уровне типов;
• типизированные формы — визуальный язык для проектирования;
• методология Pragmatic Type-Level Design (PTLD).

Детальная информация
Издательство
Язык
русский
Переплет
твердый переплет
Дата выхода
2025
ISBN
978-5-93700-379-9
Количество страниц
310
Высота издания
235 мм
Ширина издания
165 мм
Код товара
5272864
Издательство

ДМК Пресс, Россия, все товары

В 1992 году появилась на свет компания «ДМК Пресс», изначально основанная как книготорговая фирма, фокусирующаяся на предоставлении качественной литературы в области компьютерных технологий и радиотехники. С тех пор она прошла долгий путь развития, превратившись в одно из ведущих издательств с широким спектром направлений. Одной из отличительных черт «ДМК Пресс» является постоянное стремление к инновациям и следование современным тенденциям. Это проявляется не только в разнообразии...
Авторы

Александр Гранин, все товары

Александр Гранин — разработчик и архитектор программного обеспечения с более чем 15-летним стажем. Международный спикер, исследователь и автор книг по функциональному программированию, включая «Functional Design and Architecture». Его миссия — вооружить разработчиков практическими знаниями и построить целостную инженерную дисциплину создания приложений на статически типизированных функциональных языках.
Разделы товара
-20%
12 040 ₸
15 050 ₸
Под заказ
Продавец: Flip
Планируемая дата поступления на склад: 25 сентября
Планируемая дата поступления на склад — это ориентировочная дата отправки товара с нашего склада в Ваш город, при условии оформления заказа сейчас.
Подробнее о сроках доставки до Вашего города.
Количество: