next-generation programming platform, currently in development
about
help fund the project
swag

Twitter . GitHub . RSS

Scala World talk posted introducing Unison and compilation via partial evaluation


Feel free to post any questions or comments below.

full post


Mobility of computations obviates the need for session types


Note: Session types came up in some conversations I had at Scala World this year.

full post


Scala World keynote abstract - An introduction to the Unison language and its Scala-based runtime


Jon Pretty invited me a while back to give a keynote talk at Scala World this year, and the event is just a couple weeks away! I thought I’d give a talk about the work Arya Irani and I have done on the new Unison runtime which we are implementing in Scala. Here’s an abstract of the talk:

full post


Work on fast new Unison runtime


I’d like to get a first release of Unison out by end of 2017 or sooner. The release won’t be a toy or proof-of-concept; provided you don’t mind being on the bleeding edge of a new language, this first release should be usable for real work. The big things missing before that can happen are:

full post


A search engine in 15 LOC, actually running now!


At Full Stack Fest, I gave a talk on how to use Unison’s distributed programming API to write a simple search engine that runs on multiple nodes:

full post