I think you would be interested in Noether, a full language design based around this principle: https://tahoe-lafs.org/~davidsarah/noether-friam4.pdf. I've always been sad that an implementation was never created. It's one of the most unique designs for a language in the past decade.
Thank you for the reference, it's very interesting to see that someone has has had the same line of thought!
I'm reading through the presentation slides for Noether, and it almost exactly follows my line of thinking, but uses much more precise definitions and restrictions than my own hand waving.
However, it only goes "down" to a very pure functional language. I would argue to that there is a need to take a step further to a data-only language also.
I'm reading through the presentation slides for Noether, and it almost exactly follows my line of thinking, but uses much more precise definitions and restrictions than my own hand waving.
However, it only goes "down" to a very pure functional language. I would argue to that there is a need to take a step further to a data-only language also.