<div dir="ltr">Benefits and use cases for strong mobility in presence of closure serialization<br><br>I read a paper about strong mobility in Haskell <a href="http://www.dcs.gla.ac.uk/~trinder/papers/strongm.pdf">http://www.dcs.gla.ac.uk/~trinder/papers/strongm.pdf</a> and I wondering what benefits it gives in presence of closure serialization? I guess for some languages strong mobility could be only way to transfer execution state of program, e.g.<br><br>[Mobile Pascal;)]<br>program Test;<br>var<br>  a: Integer;<br>begin<br>  readln(a);             // acquiring on current host<br>  moveTo("anotherHost"); // transfering state and terminating<br>  writeln(a);            // printing on another host<br>end.<br><br>but in Haskell same program can be written just using rfork :: Host -> IO () -> IO ():<br><br>main = do<br>  a <- readLn <br>  rfork AnotherHost $ do<br>    print a<br><br>The difference comparing to moveTo :: Host -> IO () version is purely syntactic:<br><br>main = do <br>  a <- readLn <br>  moveTo AnotherHost<br>  print a<br><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><span style="font-family:arial;font-size:small">Sincerely, Stanislav Chernichkin.</span><br></div></div></div>