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

Заглянуть

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

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

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

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

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

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

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

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

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

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

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

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

-10%

Русская канарейка. Полное издание бумажная книга

Дина Рубина

29.26 USD 26.33 USD

В корзину

Повесь луну бумажная книга

Джаннетт Уоллс

16.17 USD

В корзину

Михаил Козаков : "Ниоткуда с любовью..." бумажная книга

Елена Тришина

15.11 USD

В корзину

-3%

Мириады языков бумажная книга

Калеб Эверетт

13.41 USD 13.01 USD

В корзину

-15%

Отал и Феу (на иврите) бумажная книга

Алекс Школьник

16.45 USD 13.98 USD

На складе

В корзину

ДАО Алибаба. Как байт за байтом строилась империя бумажная книга

23.15 USD

В корзину

10%

Русская канарейка. Полное издание

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

Дина Рубина

Кипучее, неизбывно музыкальное одесское семейство и - алма-атинская семья скрытных, молчаливых странников... На протяжении столетия их связывает только тоненькая ниточка птичьего рода — блистательный маэстро кенарь Желтухин и его потомки. На исходе XX века сумбурная история оседает горькими и сладкими воспоминаниями, а на свет рождаются новые люди, в том числе "последний по времени Этингер", которому...

Издательство: Эксмо
Дата выхода: февраль 2020

29.26 USD 26.33 USD

В корзину

Повесь луну

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

Джаннетт Уоллс

от автора "Замок из стекла" В России продано 300 000 книг Джаннетт Уоллс. Когда Салли Кинкейд была ребенком, мачеха выставила ее из дома, отдав на воспитание тете. Но спустя девять лет Салли вернулась, чтобы занять свое место в семье и бизнесе. Многие годы Кинкейды занимались производством виски, однако «Сухой закон» ставит семейное дело под удар. Салли бросает вызов условностям: отказывается...

Издательство: Эксмо
Дата выхода: май 2025

16.17 USD

В корзину

Михаил Козаков : "Ниоткуда с любовью..."

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

Елена Тришина

Михаил Козаков (1934–2011) — известный актер ("Убийство на улице Данте", "Выстрел", "Здравствуйте, я ваша тетя"), режиссер ("Безымянная звезда", "Покровские ворота"), автор поэтических программ по произведениям Бродского, Пушкина, Тютчева, автор книг "Рисунки на песке" и "Третий звонок". "Он всё о себе сказал сам. Но мне захотелось сейчас поговорить о нем с людьми, которых он любил, кто вспоминает откровенно и просто,...

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

15.11 USD

В корзину

Мириады языков

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

Калеб Эверетт

Книга представляет собой увлекательное путешествие по языковому разнообразию мира, из которого можно узнать, как именно язык отражает и формирует человеческое мышление. Опираясь на новейшие лингвистические исследования, автор показывает различия, с которыми языки кодируют базовые понятия, такие как время, пространство, цвет, запах. Изучение редких языков дает возможность по-новому подходить...

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

13.41 USD 13.01 USD

В корзину

15%

Отал и Феу (на иврите)

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

Алекс Школьник

Книга проекта Otalandfeu.com , предназначенная для изучения иврита вместе с ребенком. Что это за книга? Трогательная и веселая история о том, как встретились и подружились Отал и Феу - "таксик" и маленький черный котенок. История рассказывается от имени мальчика, в семье которого это произошло. Книга доступна на русском, английском и иврите. Все книги серии . Иллюстрации Алёны Чепурченко . Книга прекрасно издана...

Издательство: Otalex
Дата выхода: апрель 2018

16.45 USD 13.98 USD

На складе В корзину

ДАО Алибаба. Как байт за байтом строилась империя

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

Как отсутствие плана, денег и технологий привели Alibaba к успеху? Что сделало малоизвестный китайский интернет-стартап с «диснеевским» названием мировым гигантом? Почему простая B2B-платформа электронной коммерции превратилась в глобальную экосистему? Ответ в философии. Эта книга раскрывает Дао компании — тот самый «секретный соус» из идеалов, ценностей и особого корпоративного духа. Автор —...

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

23.15 USD

В корзину

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

Ничего личного бумажная книга

Наталья Вячеславовна...

Нет в продаже

Закуски и гарниры. Готовим в мультиварке бумажная книга

Светлана...

Нет в продаже

Английский язык для пользователей ПК и программистов. Самоучитель

Английский язык для пользователей ПК и... бумажная книга

Нет в продаже

Учись писать, читать и понимать алгоритмы бумажная книга

Владимир Паронджанов

27.39 USD

В корзину

Учись писать, читать и понимать алгоритмы

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

Владимир Паронджанов

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

ISBN: 978-5-97060-404-5
Издательство: ДМК Пресс
Дата выхода: октябрь 2016

27.39 USD

В корзину

Просмотренные категории

Дополнительно к школьной программе Декабрь 2022 Специальные издания