3 ms·

> Regionalized mutability can be made to be referentially transparent from the outside. Can you give an example of that ? Is that similar to ST Monad ?

• tel 12y ago
  The ST monad is exactly an example.
• tormeh 12y ago
  A loop inside a pure function. It's directly equivalent to tail-recursion.