Really cool post. I've had roughly similar thoughts when noodling on my current hobby language [1], but didn't work all the way through it to see if it hangs to

Really cool post. I've had roughly similar thoughts when noodling on my current hobby language [1], but didn't work all the way through it to see if it hangs together. It seems like it might! > Let me know if you’ve seen anything more similar. If you take static typing off the table, then Icon's goal-directed execution is very much an inspiration in this area. [1]: https://journal.stuffwithstuff.com/2023/01/03/type-checking-if-expressions/ https://journal.stuffwithstuff.com/2023/01/03/type-checking-...