Tony Morris

@viktorklang Well, that all depends on your definitions of "previous" and "state".

@runarorama It always depends on definitions, doesn't it. What would life be without discussions of semantics ;-)

@viktorklang @runarorama they don't have destructive reassignment, not to be confused with reassignment.

@dibblego That's a very valid point. /cc @runarorama

@viktorklang @runarorama see scalaz.effect.{ST, IO} for modelling reassignment such that it is not destructive (pure functional var).

@dibblego @viktorklang @runarorama I don't speak Scala, but in Haskell ST and IO are definitely destructive and not purely-functional

@acfoltzer @viktorklang @runarorama Can you show me what distinguishes IO/ST and say [] in that only the former is destructive?

@dibblego @viktorklang @runarorama maybe you have ST/IO refs confused with State monad? surely mutable heap cells are obviously destructive