next-generation programming language, currently in development
about

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