3 ms·

What's the modern successor to hos?

• carapace 7y ago
  Short answer: nothing. (Even Bret Victor's work doesn't begin to touch it. http://worrydream.com/ http://worrydream.com/ Although he is well cool along other dimensions!) For the flavor, imagine a type-safe LISP that one edits though something like Brad Templeton's Alice Pascal https://www.templetons.com/brad/alice.html https://www.templetons.com/brad/alice.html or Emacs ParEdit https://www.emacswiki.org/emacs/ParEdit https://www.emacswiki.org/emacs/ParEdit so that an incorrect program cannot be described in the system. (You can make a program that doesn't do what you intended, but whatever it does it will do so correctly.) For the underlying technology, I would recommend reading up on Conal Elliott's "Compiling to categories" http://conal.net/papers/compiling-to-categories/ http://conal.net/papers/compiling-to-categories/ The connection won't be immediately clear. The connective is the Joy programming language: https://www.latrobe.edu.au/humanities/research/research-projects/past-projects/joy-programming-language https://www.latrobe.edu.au/humanities/research/research-proj... https://en.wikipedia.org/wiki/Joy_(programming_language) https://en.wikipedia.org/wiki/Joy_(programming_language) http://www.kevinalbrecht.com/code/joy-mirror/joy.html http://www.kevinalbrecht.com/code/joy-mirror/joy.html http://joypy.osdn.io/ http://joypy.osdn.io/ (full disclosure: this last one is my own project.) The key is to see Joy (as opposed to, say, LISP) as the sort-of-AST that HOS is manipulating. If you restrict Joy to its type-safe subset and squint a little you have HOS. Then as a kind of bonus, Joy code turns out to be perfect for the "Compiling to categories" stuff (which is beyond HOS.) For the UI, AFAIK Jonathan Edwards' Subtext http://www.subtext-lang.org/ http://www.subtext-lang.org/ is the closest anyone's gotten.