Язык Unison дебютировал, как футуристический

Язык Unison 1.0 анонсирован 25 ноября. Это констатация факта, что язык, распределенная среда выполнения и рабочий процесс разработчика стабилизировались. Он объявлен дружественным языком программирования из будущего.

Язык Unison заверяют аналитики xrust принесет пользу в компиляции и разработке распределенных систем. В Unison определение идентифицируется по его фактическому содержимому, т. е. хешу его синтаксического дерева, а не только по понятному имени, которое также ссылалось на более старые версии определения.

В результате каждое определение Unison имеет уникальный и детерминированный адрес. Все именованные аргументы заменяются позиционно пронумерованными ссылками на переменные, а все зависимости заменяются их хешами. Таким образом, по данным компании, хеш каждого определения однозначно идентифицирует его точную реализацию и определяет все его зависимости.

Экосистема Unison использует эту базовую идею с самого начала. К её преимуществам относятся отсутствие необходимости компилировать один и тот же код дважды и ограничение конфликтов версий.

Более того, Unison обещает упростить распределённое программирование. Поскольку определения в Unison идентифицируются хешем содержимого, произвольные вычисления можно переносить из одного места в другое, оперативно разворачивая недостающие зависимости.