[helix278]

That does exist, it's called Koka: https://koka-lang.github.io/koka/doc/book.html

[helix278]

To elaborate on the controlled mutation theory, here is a paper they wrote about FIP (Fully In-Place) programming https://www.microsoft.com/en-us/research/uploads/prod/2023/0...

[qsort]

Thanks! I'm not familiar with that, I'll try to look it up.