Hacker News Reader

While the methods are different from what Alan has espoused in the past, I'd like to believe the goals are very well aligned.

View on HN

But are "the good goals of the past" good enough goals for today and tomorrow?

I would hope not. But, based on your work and other comments here, I think we'd agree that our collective sights have been set lower for no good reason. If the goals of the past cannot be fully realized, what hope can we have for those of today and tomorrow?

Concretely, I follow existing languages like Agda, Lean, Haskell, and Rust for pushing the envelope on language semantics, compiler ingenuity, and library abstractions; and http://unisonweb.org/ and http://www.lamdu.org/ for pushing the envelope on the programming workflow itself. While I don't believe editors and languages are orthogonal problems, I do believe there is enough independence to make pursuing these fronts separately in parallel worthwhile.

[Of all of those, http://unisonweb.org/ might especially fit your interests, if I understand them correctly.]

I tried to skim-read through the Unison About page, but all I saw was an under-designed variation of Jetbrains MPS for a single language. I assume you have spent longer with the project - do you care to summarize the differences?

Reply on news.ycombinator.com