Зарегистрируйтесь чтобы видеть ссылки
Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.
Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и...
[ДМК] Проектирование на уровне типов [Александр Гранин] ПРОДАЖНИК
Cкрытый контент, нужно авторизируйся или присоединяйся.
Возможно, Вас ещё заинтересует:
- Фабрика ИИ-контента с n8n [Product University]
- Терапия блейдами. Фасциальные техники с инструментами [LIMIS] [Эяль Фейгин]
- Видения Николая из Флюэ и святой Перпетуи. психологическое истолкование. Т. 6 [Мария-Луиза фон Франц]
- Нейроэстетика, или как наш мозг переживает красоту [vabrain] [Илья Кабиольский]
- Фишки мотивации. Как начать и не бросить. Книга-тренинг [Евгения Ештокина]
- Профессиональный онлайн-курс по терапевтической растяжке [LIMIS] [Эяль Фейгин]
- Видеокурс по спортивному массажу [LIMIS] [Эяль Фейгин]
- Курс по кинезиотейпированию [LIMIS] [Эяль Фейгин]
- Мануальное тестирование [LIMIS] [Эяль Фейгин]
- D.C.T – Глубокая фасциальная терапия [LIMIS] [Эяль Фейгин]
- [Куклы] [Вязание] Новогодний олененок для Паолочки [Ольга Архипова]
- Затмение для здоровья [Евразийский Астрологический Институт] [Елена Кузнецова]
- [Шитье] Конструирование и моделирование брюк [Наталья Вдовина]
- [Роспись по ткани] Цветочки, рыцарь, балерина [Даша Лисенкова]
- Финансовый менеджмент: отчетность, анализ, бюджетирование, AI [Пакет Standard] [DATAbi] [Екатерина Кузьминская]
- [Шитье] СП Сумочка [Сумочный Рай] [Светлана Костина]
- [Аудиокнига] A Sinistra [Виктор Пелевин]
- A Sinistra [Виктор Пелевин]
- [Выкройки] Жакет Укороченный — девочки. Размеры 110 - 164 [Элина Патыкова]
- Третья по второй ступени западной церемониальной магии [Касталия] [Григорий Зайцев]