книги Компьютеры и Интернет Программирование Методология Проектирование

Заглянуть

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

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

Name: Проектирование на уровне типов
Price: 2055.76 RUB
Availability: InStock
ISBN: 978-5-93700-379-9

Код 5607241

ISBN: 978-5-93700-379-9
310 страниц

июнь 2025
ДМК
590 г

Бумажная книга

29.4 USD

Добавить в корзину

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 05.09.2025; планируемая отправка: 06.09.2025

Склад в С.-Петербурге

Последний экземпляр

отгрузка со склада в С.-Петербурге: 30.08.2025

Аннотация к книге "Проектирование на уровне типов"

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

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

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

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

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

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

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Издательство:	ДМК
Дата выхода:	июнь 2025
ISBN:	978-5-93700-379-9
Объём:	310 страниц
Масса:	590 г
Размеры(высота, ширина), см:	24 x 17
Обложка:	твёрдая
Бумага:	офсетная
Место в рейтинге продаж:	115

Книга находится в категориях

Новинки компьютерной литературы 2025

Вместе с этой книгой покупают

Queen. Биография в комиксах бумажная книга

31.65 USD

В корзину

-21%

Благодать бумажная книга

Пол Линч

15.74 USD 12.43 USD

В корзину

Эйзен бумажная книга

Гузель Яхина

18.35 USD

В корзину

-3%

Будь нужным: Семь правил жизни бумажная книга

Арнольд Шварценеггер

10.23 USD 9.93 USD

В корзину

-3%

Следующие 500 лет бумажная книга

Кристофер Мейсон

13.41 USD 13.01 USD

В корзину

Эшелон на Самарканд бумажная книга

Гузель Яхина

18.31 USD

В корзину

Queen. Биография в комиксах

бумажная книга

Группа Queen легендарна - с этим не станет спорить никто. Их уникальная музыка сочетает множество стилей, а их песни знает и поет весь мир. Существует множество биографий, посвященных истории группы, но еще ни одна из них не была создана в формате комикса. Пройдите творческий путь Queen вместе с ее участниками Фредди Меркьюри, Брайаном Мэйем, Роджером Тейлором и Джоном Диконом от момента зарождения группы и до...

Издательство: АСТ
Дата выхода: июнь 2025

31.65 USD

В корзину

21%

Благодать

бумажная книга

Пол Линч

Впервые на русском — роман современного ирландского классика Пола Линча, лауреата Букеровской премии 2023 года за роман «Песнь пророка», который уже называют «ирландским „1984“» и «новым „Рассказом служанки“». От «одного из величайших писателей современности» (Marianne) — «эпическая фреска, плутовской роман и захватывающая история взросления одновременно» (La Vie). Итак, познакомьтесь с четырнадцатилетней...

Издательство: Махаон
Дата выхода: декабрь 2024

15.74 USD 12.43 USD

В корзину

Эйзен

бумажная книга

Гузель Яхина

Одна из самых ожидаемых книг года! Гузель Яхина — автор трех романов: «Зулейха открывает глаза», «Дети мои», «Эшелон на Самарканд», лауреат престижных премий «Книга года», «Большая книга», «Ясная Поляна». Ее произведения были экранизированы и имели успех на театральных подмостках. Новый роман посвящен загадке великого Эйзенштейна. Человек сложный, мятущийся, он прятался за сотней масок...

Издательство: АСТ
Дата выхода: февраль 2025

18.35 USD

В корзину

Будь нужным: Семь правил жизни

бумажная книга

Арнольд Шварценеггер

Книга «Будь нужным» — о том Арнольде Шварценеггере, которого вы до сих пор не знали, даже если занимаетесь бодибилдингом, смотрели всех «Терминаторов» и интересуетесь американской политикой. Мало кому известно, что десять лет назад суперзвезда Голливуда, великий спортсмен, предприниматель и политик оказался на самом дне, но смог подняться и построить заново свою жизнь и карьеру. Справиться с...

Издательство: Альпина Паблишер
Дата выхода: ноябрь 2023

10.23 USD 9.93 USD

В корзину

Следующие 500 лет

бумажная книга

Кристофер Мейсон

Эта книга — взгляд ученого и футуролога на судьбу человечества в ближайшие пять столетий, основанный на анализе исторических тенденций, научных открытий и технологических прорывов. Биолог и генетик Кристофер Мэйсон предлагает читателям порассуждать о том, что сулят нам следующие 500 лет. Есть большая вероятность, что в результате изменений климата жизнь на Земле станет невозможной, так...

Издательство: Альпина Паблишер
Дата выхода: май 2025

13.41 USD 13.01 USD

В корзину

Эшелон на Самарканд

бумажная книга

Гузель Яхина

Гузель Яхина — самая яркая дебютантка в истории российской литературы новейшего времени, лауреат премий "Большая книга" и "Ясная Поляна", автор бестселлеров "Зулейха открывает глаза" и "Дети мои". Ее новая книга "Эшелон на Самарканд" — роман-путешествие и своего рода "красный истерн". 1923 год. Начальник эшелона Деев и комиссар Белая эвакуируют пять сотен беспризорных детей из Казани в Самарканд. Череда...

Издательство: АСТ
Дата выхода: март 2021

18.31 USD

В корзину

Просмотренные товары

Как исполнять Моцарта. Теория бумажная книга

Андрей Меркулов

Нет в продаже