Зарегистрируйтесь чтобы видеть ссылки
Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.
Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и...
[ДМК] Проектирование на уровне типов [Александр Гранин]
Cкрытый контент, нужно авторизируйся или присоединяйся.
Возможно, Вас ещё заинтересует:
- Битва за деньги: централизация vs децентрализация. Как криптовалюта перезапускает финансовый порядок [Павел Андреев]
- LLM Driven Development Разработка и эксплуатация AI: полный курс для профессионалов [OTUS] [Владимир Елфимов]
- New vision. Все про мобильный монтаж и контент 2025 года [Тариф Самостоятельный] [C головой] [Александра Дроздова]
- Манифестируй что угодно через непривязанность (перевод) [Brendan Woods]
- Чего хотят мужчины?! Тайные мужские пристрастия [Диана Романовская]
