next-generation programming language, currently in development
about

Twitter . GitHub . RSS

Designing a fluent interface to a semantic editor


I’m at the point where I have all the machinery needed to start adding the ability to edit as well as view Unison expressions in the editor. However, rather than diving right into implementation (which I did before with the Elm-based version), I decided to take a step back and try to figure out a better story for fluent semantic editing.

full post


First round-trip connecting editor front-end to typechecker


I did some refactoring to allow the Unison editor to run “headless”, using a local, in-memory node rather than a remote Haskell server. This opens the door to a few things.

full post


How would a hash collision be handled in Unison?


Here’s a question, what happens if there’s a collision with the hashing scheme used by Unison. What would happen, and is this something we should worry about?

full post


Progress on editor navigation controls


I have a few videos to demo the navigation control I’m adding to the editor. First, let’s look at this old video:

full post


Richer rendering of function application


A couple quick updates:

full post