Allow me to plug my own little entry in this space: a dialect of Joy written in Python, Prolog, and Nim (there's a Rust version in progress.) The project is m

Allow me to plug my own little entry in this space: a dialect of Joy written in Python, Prolog, and Nim (there's a Rust version in progress.) The project is messy at the moment (I am folding all the implementations into one repo from separate repos right now) but FWIW it's here: https://joypy.osdn.io/ https://joypy.osdn.io/ Some points: - Working with Joy has convinced me that syntax is a MacGuffin. You have to have some syntax to "move the story along" but it's not important in and of itself. (The Maltese Falcon.) All this work on languages and parsing is fun and useful, but now it seems to me like a bit of a sideshow. - It's relatively easy to manipulate Joy expressions in a kind of mathematical way. This is the "missing link" of Functional Programming: Do math to derive programs like Backus said. - Related to the above, Joy is sooooooooo simple. It is simpler and more elegant that Forth or even Lisp. - The Prolog interpreter is also a type inferencer! It can interpret over abstract stacks. IMO, it's one of those languages like Prolog or APL that you should learn even if you never use it, just to expand your mind.