On: How the append-only btree works (2010)

[kragen]

it's correct that aliasing makes performance harder to reason about

but there are other things you might want to reason about, such as whether a subroutine terminates at all and what it returns, and immutability does make it easier to reason about those things

[wredue → kragen]

Runtime immutability does not make anything easier to reason about.

Its only result is adding bugs and performance deficits.

[kragen → wredue]

haha