основная идея Unison
https://www.unison-lang.org/docs/the-big-idea/
Упрощение распределенного программирования
Сегодняшние языки программирования, как правило, основаны на идее, что программа - это нечто, описывающее то, что делает отдельный процесс ОС на отдельном компьютере. Любое взаимодействие с вещами за пределами программы осуществляется очень косвенно, скажем, путем отправки байтов через сокет. Вы не можете «просто» запустить вычисление в другом месте, вам нужно отправить байты по сети, а затем (как-то?) убедиться, что на другом конце запущена отдельная программа, которая прослушивает эти байты и десериализует их, а затем, с большой долей вероятности, запустит нужное вам вычисление.
--
Упрощение распределенного программирования
Сегодняшние языки программирования, как правило, основаны на идее, что программа - это нечто, описывающее то, что делает отдельный процесс ОС на отдельном компьютере. Любое взаимодействие с вещами за пределами программы осуществляется очень косвенно, скажем, путем отправки байтов через сокет. Вы не можете «просто» запустить вычисление в другом месте, вам нужно отправить байты по сети, а затем (как-то?) убедиться, что на другом конце запущена отдельная программа, которая прослушивает эти байты и десериализует их, а затем, с большой долей вероятности, запустит нужное вам вычисление.
--