To me, the most interesting aspect is the Unison language, specifically how it does away with code-as-text, and instead uses a structured database, so one is dealing directly with the AST: https://www.unison-lang.org/docs/the-big-idea/
(It is not the only language to do so - see old.reddit.com/r/nosyntax)
I hope this catches on, because parsing strings of text is a monumental waste of complexity.
This, plus abilities[1](what Unison calls algebraic effects), make Unison such a joy to work with, it's a very pleasant experience. You can get straight to the business logic.
I also hope it catches on, but Unison right now really gives a pleasant experience.
(It is not the only language to do so - see old.reddit.com/r/nosyntax)
I hope this catches on, because parsing strings of text is a monumental waste of complexity.