Today I've been playing around with Unison and it honestly blew my mind 🤯
There's this great quote from an article on "tactic meta-programming" that says
There's this great quote from an article on "tactic meta-programming" that says
Isn’t it weird that we treat source code as text? That is, we have this extremely well-structured and strongly-typed object — the abstract syntax tree — that exists conceptually in our minds, and in actuality inside of our compiler, but for some reason we pretend it’s just a pile of bytes and edit it byte-by-byte rather than semantically?
Ever since I read that I've wondered what a language might look like that put that idea at the forefront. Unison does that and solves a whole host of other problems in the process. Really amazing stuff.
There's a great intro on YouTube if you prefer to watch over read the docs
https://www.youtube.com/watch?v=gCWtkvDQ2ZI