Розподілені бекенди та хмарні функції на Unison

Проектую та запускаю бойові бекенди на Unison — функціональній мові, де кожне визначення ідентифікується хешем свого вмісту, а не ім'ям та версією. На практиці це значить: немає кроку збірки, немає конфліктів залежностей та немає зламаних розгортань, коли дві бібліотеки вимагають різні версії одного й того ж. Я звертаю це в користь клієнта: ваші сервіси залишаються маленькими, відтворюваними та безпечними для рефакторингу. Основа моєї роботи — розподілені обчислення через здатності (abilities). Замість того щоб вручну сшивати брокери, черги та зв'язуючий код, я моделюю ефекти як здатності, і рантайм переносить обчислення між вузлами майже без зусиль. Функція, написана як звичайний код, виконується дистанційно без переписування під мережу. Я поставляю хмарні функції, конвейери подій, фонові робітники та сервіси зі станом, у яких чисті типізовані інтерфейси. Типові завдання: знято гарячий шлях з крихкої мережі мікросервісів, зібрано новий API з типізованими обробниками або піднято розподілений планувальник завдань. Що ви отримуєте: повністю типізований код Unison, розкладений по перевикористовуваним неймспейсам, тести на вбудованих тестових здатностях мови, короткий runbook з деплою та спостережливості, а також скликання-розбір, щоб ваша команда супровідувала все після передачі. За плечима роки функціональних мов до Unison, тому приношу дисциплінковане моделювання даних, акуратну обробку помилок та увагу до тотальних функцій. Якщо сумніваєтеся, підходить чи Unison вашому навантаженню, спочатку чесно розберу архітектуру та скажу, де він допомагає, а де скучний перевірений інструмент виграє. Моя ціль — довговічні та зрозумілі системи, які вашим інженерам приємно підтримувати.