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

Заглянуть

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

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

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

Код 5607241

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

июнь 2025
ДМК
590 г

бестселлер

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

33.01 USD

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

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

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

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

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

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 24.07.2025; планируемая отправка: 25.07.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
Обложка:	твёрдая
Бумага:	офсетная

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

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

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

-6%

Сахар бумажная книга

Алексей Колмогоров

13.57 USD 12.76 USD

В корзину

Республика счастья бумажная книга

Ито Огава

13.66 USD

В корзину

Фридл и дети Терезина бумажная книга

10.87 USD

В корзину

-5%

Железный занавес бумажная книга

Энн Эпплбаум

29.23 USD 27.77 USD

В корзину

-6%

Увидимся в августе бумажная книга

Габриэль Гарсиа Маркес

11.22 USD 10.54 USD

В корзину

-6%

Тоннель бумажная книга

Яна Вагнер

15.17 USD 14.26 USD

В корзину

Сахар

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

Алексей Колмогоров

Новый роман финалиста премии «Большая книга» Алексея Колмогорова «Сахар» отправляет читателя к далеким берегам Острова Свободы. Куба — это не только профиль Фиделя, ретроавтомобили и гаванские сигары. Куба полна древних секретов и тайных культов. Под ее высоким небом и жарким солнцем разгораются нешуточные страсти, подогреваемые служителем мистического культа. И только поначалу кажется, будто...

Издательство: АСТ
Дата выхода: август 2024

13.57 USD 12.76 USD

В корзину

Республика счастья

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

Ито Огава

«Республика счастья» — продолжение нашумевшего бестселлера Ито Огавы «Канцтовары Цубаки» . Однако для чтения этой книги предысторию знать не обязательно. Ее героиня — все та же молодая каллиграфесса Хатоко, владеющая очень древним искусством — сочинять за людей важные письма в особо трудных и деликатных ситуациях. А пока она разматывает запутанные клубки чужих страстей, самолюбий...

Издательство: Поляндрия NoAge
Дата выхода: январь 2024

13.66 USD

В корзину

Фридл и дети Терезина

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

Может ли искусство спасать? Зачем оно в условиях неизбежной катастрофы? Венская художница Фридл Дикер-Брандейс (1898–1944), попав в 1942 году в Терезинское гетто, занималась рисованием с депортированными туда детьми, обреченными на смерть. Ведь из Терезина нацисты отправляли заключенных в Освенцим. Большинство маленьких учеников Фридл погибли в Холокосте. Но вместе с ней они рисовали жизнь, обретая в...

Издательство: Книжники
Дата выхода: май 2025

10.87 USD

В корзину

Железный занавес

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

Энн Эпплбаум

Известная американская журналистка и политический аналитик Энн Эпплбаум исследует образование и начало эволюции коммунистических режимов в странах Восточной Европы после Второй мировой войны. Анализ событий — главным образом в освобожденных Красной армией Венгрии, Восточной Германии и Польше — сопровождается материалами многочисленных архивов и свидетельствами очевидцев. Эпплбаум тщательно...

Издательство: АСТ
Дата выхода: октябрь 2024

29.23 USD 27.77 USD

В корзину

Увидимся в августе

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

Габриэль Гарсиа Маркес

Мировая премьера! Впервые на русском — никогда ранее не издававшийся роман Габриэля Гарсии Маркеса, автора бестселлеров «Сто лет одиночества», «Осень патриарха» и «Полковнику никто не пишет». «Увидимся в августе» — одно из главных литературных событий года. Маркес работал над текстом перед самой смертью и не успел опубликовать при жизни, но спустя десять лет после кончины автора текст все-таки...

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

11.22 USD 10.54 USD

В корзину

Тоннель

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

Яна Вагнер

Новый герметичный триллер Яны Вагнер, автора бестселлеров « Вонгозеро » и « Кто не спрятался ». *** Несколько сотен человек заперты в пробке в подземном дорожном тоннеле. Выходы перекрыты, сверху толща речной воды. Напряжение растет прямо пропорционально панике. Постепенно то, что происходит снаружи, теряет свое значение: что бы там ни случилось, заложники герметичного триллера вынуждены...

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

15.17 USD 14.26 USD

1 В корзину

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

-17%

Качественная теория дифференциальных уравнений. (Репринт 2-ого существенно переработанного и дополненного издания)

Качественная теория дифференциальных уравнений.... бумажная книга

Владимир Степанов

43.03 USD 35.71 USD

В корзину

A journal of voyages and travels in the interior of North America, between the 47th and 58th degrees of N. lat., extending from Montreal nearly to the Pacific, a distance of about 5,000 miles

A journal of voyages and travels in the... бумажная книга

Daniel Williams Harmon

Нет в продаже

Генетика и разведение собак бумажная книга

Е. Щеглов

Нет в продаже

Блокнот КисуНЯ (котик хмурится) бумажная книга

2.11 USD

В корзину

17%

Качественная теория дифференциальных уравнений. (Репринт 2-ого...

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

Владимир Степанов В. В. Немыцкий

Вниманию читателя предлагается книга известных российских математиков, профессоров Московского государственного университета, посвященная методам и приложениям качественной теории дифференциальных уравнений. Главной идеей монографии является теория топологических свойств семейства интегральных кривых. Во второй и третьей главах рассматриваются аффинные инварианты семейства интегральных...

ISBN: 978-5-9710-4575-5
Издательство: URSS
Дата выхода: май 2017

43.03 USD 35.71 USD

В корзину

Блокнот КисуНЯ (котик хмурится)

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

Блокнот с симпатичными рыжими котиками на 100% заряжен позитивом, а следовательно, надолго подарит вам хорошее настроение. Он выполнен в минималистичном японском стиле. Благодаря компактному формату блокнот удобно всегда носить с собой, ведь он поместится даже в кармане! Отличный сувенир или дополнение к основному подарку, особенно для преданных любителей кошек.

ISBN: 9785002412891
Издательство: Контэнт
Дата выхода: январь 2025

2.11 USD

В корзину