4 ms·

I see, is there anything you see today that you like? (Coq, Idris maybe?)

• Ericson2314 10y ago
  While the methods are different from what Alan has espoused in the past, I'd like to believe the goals are very well aligned.
  • alankay1 10y ago
    But are "the good goals of the past" good enough goals for today and tomorrow?
    • Ericson2314 10y ago
      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/ http://unisonweb.org/ and http://www.lamdu.org/ 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/ http://unisonweb.org/ might especially fit your interests, if I understand them correctly.]
      • ddimitrov 10y ago
        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?