<div dir="ltr"><img src="http://t.sidekickopen63.com/e1t/o/5/f18dQhb0S7ks8dDMPbW2n0x6l2B9gXrN7sKj6v4dY_WW8r56Rz643_PgW2B8dD01pctGFW5PXYkH1k1H6H0?si=4827575526621184&pi=d786741a-79aa-4f7b-d4d7-16c033e38901" style="display:none!important" height="1" width="1"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">"All you have to do" (TM) is make sure all nodes have the same<br>
code before sending funs around. This is not easy in the general case,<br>
since all the code the fun calls also needs to be copied, and all the<br>
code it calls and so on. If the code is in more than two versions or<br>
changing in different places in the system at the same time this sould<br>
be very tricky.</blockquote><div><br></div><div>I have been waiting for a chance to interject something into exactly this sort of discussion by Really Smart People.</div><div><br></div><div>Unison is a language.  Here's its 'about' page: <a href="http://unisonweb.org/2015-05-07/about.html#post-start">http://unisonweb.org/2015-05-07/about.html#post-start</a> .  Search for "distributed systems" to get to the meatiest/most-fun bit of the intro.  Here's a brief and incomplete/wrong summary:</div><div><br></div><div>- It's a typed language.</div><div>- It has distribution primitives.</div><div>- It has a semantic editor - programs don't require lexing/parsing from unicode.</div><div>- It covers the fundamental things Joe mentions in this article on IPFS: <a href="http://joearms.github.io/2015/03/12/The_web_of_names.html">http://joearms.github.io/2015/03/12/The_web_of_names.html</a></div><div>- Here's a nice deeper-dive into its API for distributed evaluation / distributed systems: <a href="http://unisonweb.org/2015-06-02/distributed-evaluation.html">http://unisonweb.org/2015-06-02/distributed-evaluation.html</a></div><div><br></div><div>I desperately want to hear the super smart people on this Mailing List tell me (why it's dumb | zomg that's so neat! | we tried this in 2003 with BitDonkey2000 and it didn't work fundamentally because X | more nuanced responses).  Has anyone seen this before and/or on seeing it now does any of it strike you as interesting?</div><div><br></div><div>(also, and related: geez I wish I 'got' session types)</div><div><br></div><div>-Josh </div></div>
</div></div>