[jiggawatts]

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.