Зарегистрируйтесь чтобы видеть ссылки
Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.
Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и...
[ДМК] Проектирование на уровне типов [Александр Гранин]
Cкрытый контент, нужно авторизируйся или присоединяйся.
Возможно, Вас ещё заинтересует:
- [PSD] Набор CU-677. Вертикальная виньетка для начальных классов [VeraV]
- [PSD] Набор CU-689. Папка-планшет для начальных классов [VeraV]
- [PSD] Набор CU-690. Папка-планшет для первоклассников [VeraV]
- Работа психолога с фигурой отца [Вера Бутова]
- Тестирование на проникновение моделей GenAI LLM: защита больших языковых моделей [udemy] [Start-Tech Academy]
