These are chat archives for unisonweb/unison
do Remote x := f y Remote.transfer node1 x++ -- what could this mean?
node1and it needs to get the value of
xfrom the transferring node?
x++would have to go back to the originating node… but by that point, where is
x, but that’s not the same
node1would get the value of
xfrom the transferring node, increment it and then . . . presumably that value gets sent back to the transferring node.
xaround, even after transfering the computation
xprobably isn’t what you want, but maybe that is okay if you asynchronously send the same operation back to the originating node