next-generation programming language, currently in development
about

Twitter . GitHub . RSS

Updated the About page with a better overview


I did a major overhaul of the About page. Rather than try to describe everything about the project in full generality (which wasn’t working very well IMO), the new page now starts with a very concrete overview of the editor and then uses that to introduce some of the other ideas of the project. I think this works better for people who come to this site and wonder what the heck is going on here?

full post


Starting a company based around Unison


Exciting news everyone! I am going to be starting a company based around Unison. What form that company takes is still somewhat TBD, but the idea is to have a sustainable business that can fund at least a core group of developers to further build out and improve upon Unison. If you’re reading this and are interested in partnering up to help build something revolutionary, check out the official job posting at unisonweb.org/jobs.

full post


Bugfixes, safer abstract binding trees, and a typechecker rewrite


Haven’t posted in a while. I’ve been working on squashing bugs in the editor and trying to get it to a less embarassing state before posting it online for folks to try. (Though the brave can try it now just by building the project yourself! See the GitHub page for instructions.)

full post


Creating lambdas in the editor, calling higher-order functions


I’ve been doing some more work on the editor again. Here’s a video showing a call to map:

full post


Easy snapshot isolation and PCBT merges


This post has some notes on how to implement database inserts and deletes for the indexing data structure discussed in the last post, the Prioritized Critical Bit Tree (PCBT).

full post