News for hackers. Stuff that matters.

A comment on Is your programming language unreasonable?. Parent comment

Re:Is your programming language unreasonable? by psibi on Wednesday February 04, 2015 @02:20PM (#8999001)
> 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 ?

[ Parent | on HN ]
Re:Is your programming language unreasonable? by tel on Wednesday February 04, 2015 @02:30PM (#8999080)
The ST monad is exactly an example.
[ Parent | on HN ]
Re:Is your programming language unreasonable? by tormeh on Wednesday February 04, 2015 @03:29PM (#8999506)
A loop inside a pure function. It's directly equivalent to tail-recursion.
[ Parent | on HN ]