Зарегистрируйтесь чтобы видеть ссылки
Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.
Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и...
[ДМК] Проектирование на уровне типов [Гранин А.]
Cкрытый контент, нужно авторизируйся или присоединяйся.
Возможно, Вас ещё заинтересует:
- Облачный редактор для совместного UI/UX-дизайна, прототипирования и дизайн-систем [figma.com] [№1 на 1 месяц]
- Moguta CMS Гипермаркет 11.2.0 [открытый код]
- Индийская философия: от Вед до Веданты. Лекция 33. [Точка интеллекта] [Иван Негреев]
- Колдовство и магия в истории религий. Часть 2.Лекция 4. Магические традиции Северной Европы. [Точка интеллекта] [Иван Негреев]
- Подписка на Boosty Богдана Соловьева [Тариф Любитель эксклюзивных видео] [Богдан Соловьев]