Fun stuff! I find that the more I find out about PL research and what I myself like in programming, the more I feel constrained in many languages. I find that

Fun stuff! I find that the more I find out about PL research and what I myself like in programming, the more I feel constrained in many languages. I find that most of the bugs I write (which are many) are errors in dealing with mutable state. There is always one stupid little detail that leads to bad state. This has led me to dislike the programming language I write the most (probably python, despite really only wanting to write scheme) because it is mutation first. I was also sad to discover that I couldn't write self-recursive procedures in rust because they are never guaranteed to be actually recursive. Did you get anything like that from your work with onyx? (And yes, I believe I have actually has a look at onyx about 10 years ago, back when trying to write poatscript).