М
Море Слив
Пользователь
- Регистрация
- 27.06.21
- Сообщения
- 117.987
- Реакции
- 18.348
Последние темы автора:
Создавайте AI-агентов и приложения без написания кода за минуты [Unlimited...
[ИИ] Чат-бот с искусственным интеллектом ChatGPT [Team №29 на 1 месяц по 15...
[Свечи] Энергия камня [medowaya.dolina] [Светлана Яркова]
Канал Друзья по переписке (15 ноября - 14 декабря) [Эван-Мультипликатор]
Магия Гекаты – Защитницы женщин [Светлана Таурте]
[ИИ] Чат-бот с искусственным интеллектом ChatGPT [Team №29 на 1 месяц по 15...
[Свечи] Энергия камня [medowaya.dolina] [Светлана Яркова]
Канал Друзья по переписке (15 ноября - 14 декабря) [Эван-Мультипликатор]
Магия Гекаты – Защитницы женщин [Светлана Таурте]
Посмотреть вложение 1135196
Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.
Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и...
[ДМК] Проектирование на уровне типов [Александр Гранин]
Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы!
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости.
Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и...
[ДМК] Проектирование на уровне типов [Александр Гранин]
Курс скоро будет доступен на форуме moresliv.biz. Используйте поиск по сайту, возможно данный курс уже в наличии.