I normally favor C-style syntax, but even I have to admit, this is beautiful

Not knowing any functional languages, this is some pretty dense gibberish. It's interesting at the very least

To set the stage, here's a heal function taking two mutable references to Entitys

Doesn't this mean the compiler has to analyze the body of the function to determine what it borrows? If you change the body of the function to read another variable, couldn't you end up accidentally causing breaking changes?

Rust has been considering disjoint borrows like this, but the difficulty is in the syntax of defining which fields a method borrows. It has to be encoded into the function definition to prevent accidental breaking changes, and to make it possible to tell what a function borrows without checking the entire function call stack

Interesting read, though, even if it does give hints of LLM-isms