3 ms·
That does exist, it's called Koka: https://koka-lang.github.io/koka/doc/book.html https://koka-lang.github.io/koka/doc/book.html
by helix278 3y ago
That does exist, it's called Koka: https://koka-lang.github.io/koka/doc/book.html https://koka-lang.github.io/koka/doc/book.html
- helix278 3y agoTo 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/05/fbip.pdf https://www.microsoft.com/en-us/research/uploads/prod/2023/0...
- qsort 3y agoThanks! I'm not familiar with that, I'll try to look it up.