News for hackers. Stuff that matters.

A comment on Guido on Python. Parent comment

Re:Guido on Python by zeckalpha on Monday August 03, 2015 @10:43PM (#10001345)
Yes, it's easier to reason about correctness in immutability land and add mutability in after the fact as a compiler optimization than to remove mutability for safety as a compiler pass.
[ Parent | on HN ]
Re:Guido on Python by eru on Tuesday August 04, 2015 @02:47AM (#10002013)
Haskell sort-of does this. Laziness can be seen as a very disciplined form of mutability.

(Haskell also allows mutability that is visible to the semantics of the program, that's where the famous monads come in.)

[ Parent | on HN ]