[ДМК] Проектирование на уровне типов [Александр Гранин]

[Dozhd]

Складчина: [ДМК] Проектирование на уровне типов [Александр Гранин]



Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!

Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.

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

Основные темы, рассматриваемые в книге:

шаблоны проектирования уровня типов;
расширяемость и адаптивные архитектуры приложений;
интерфейсы на уровне типов;
предметно-ориентированные языки на уровне типов;
типобезопасность и статическая целостность;
корректность и верификация на уровне типов;
типизированные формы – визуальный язык для проектирования;
методология Pragmatic Type-Level Design (PTLD).
Александр Гранин – разработчик и архитектор программного обеспечения с более чем 15-летним стажем. Международный спикер, исследователь и автор книг по функциональному программированию, включая “Functional Design and Architecture”. Его миссия – вооружить разработчиков практическими знаниями и построить целостную инженерную дисциплину создания приложений на статически типизированных функциональных языках.

Издание: Черно-белое
Оригинальное название: Pragmatic Type-Level Design
Автор: Гранин А.
Объем, стр: 310
ISBN: 978-5-93700-379-9

Формат: PDF
Стоимость: 1320




СКАЧАТЬ

Для просмотра скрытого содержимого вы должны зарегистрироваться