yes, that's a bit tricky isn't it. because then yo...

# language-proposals

[mikehearn]

yes, that's a bit tricky isn't it. because then your definition of purity allows writes to the heap unless the allocation escapes