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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		helix278 on Nov 26, 2023 \| parent \| context \| favorite \| on: The Flix Programming Language That does exist, it's called Koka: https://koka-lang.github.io/koka/doc/book.html

helix278 on Nov 26, 2023 [–]

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 on Nov 26, 2023 | [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact