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

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