←back to thread

1401 points alankay | 1 comments | | HN request time: 0.232s | source

This request originated via recent discussions on HN, and the forming of HARC! at YC Research. I'll be around for most of the day today (though the early evening).
Show context
melloclello ◴[] No.11941305[source]
Hi Alan, what do you think of the Unison project? [1]

On the surface it's a structured editor for a type safe language in which it's impossible to write an invalid program, but the author has some pretty lofty goals for it.

[1] http://unisonweb.org/2015-05-07/about.html

replies(1): >>11953781 #
1. alankay1 ◴[] No.11953781[source]
Many valid programs are quite wrong.