3 ms·
You might like the Noether programming language design https://github.com/noether-lang/noether/blob/4115cdb3f472360495a265940c0753053517297f/doc/presentations/S
by lmm 2y ago
You might like the Noether programming language design https://github.com/noether-lang/noether/blob/4115cdb3f472360495a265940c0753053517297f/doc/presentations/StrangeLoop/noetherj.pdf https://github.com/noether-lang/noether/blob/4115cdb3f472360... , although I don't know if it'll ever be actually implemented.