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