next-generation programming language, currently in development

Twitter . GitHub . RSS

typechecking, typechecking, and typechecking output

Hi, it’s Arya. We’ve been crunching away and here’s what’s new:

full post

New parser, better errors

Hey folks, Rúnar here. I just wanted to give a quick update on our progress over the past couple of weeks. We’re hard at work getting Unison towards a preview release. Here are some highlights:

full post

Update and what's next

Hi folks, apologies for the long radio silence, we (myself, Rúnar Bjarnason and Arya Irani) have been heads down actually implementing stuff and I have some progress updates to share! Also, we are going to start posting more frequent updates from here on out (at least twice per month).

full post

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