Unison для распределённых сервисов и облачных функций

Собираю продакшн-бэкенды на Unison — функциональном языке, в котором любое определение адресуется хешем своего кода, а не парой «имя плюс версия». Отсюда сразу следствия: этапа сборки нет, конфликтов зависимостей нет, и выкладка не рушится из-за того, что двум библиотекам понадобились несовместимые версии одной и той же вещи. Для заказчика это прямая выгода: сервисы получаются компактными, воспроизводимыми и не страшными для рефакторинга. Ключевое направление — распределённые вычисления через способности (abilities). Я не сшиваю руками брокеры, очереди и связующий код, а описываю эффекты как способности, после чего среда исполнения раскидывает вычисления по узлам почти даром. Обычная на вид функция спокойно исполняется на другом узле, и переписывать её под сеть не нужно. Отдаю облачные функции, обработку потоков событий, фоновых воркеров и сервисы с состоянием — все с аккуратными типизированными интерфейсами. Частые запросы: увести горячий путь из шаткой микросервисной сетки, поднять новый API с типобезопасными обработчиками или запустить распределённый планировщик задач. В комплекте вы получаете: строго типизированный код Unison по переиспользуемым неймспейсам, тесты на штатных тестовых способностях языка, компактный runbook по развёртыванию и мониторингу и разбор по видеосвязи, чтобы команда дальше вела проект сама. До Unison я много лет работал с функциональными языками, поэтому приношу продуманное моделирование данных, честную обработку ошибок и любовь к тотальным функциям. Сомневаетесь, ложится ли Unison на вашу нагрузку, — сперва разберу архитектуру и прямо скажу, где он выигрывает, а где надёжнее взять скучный привычный инструмент. Мне важно оставить понятные и живучие системы, которые инженерам не в тягость поддерживать.