Tony Morris

@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

@acfoltzer @viktorklang @runarorama ST/IO do not have destructive reassignment any more than anything else (i.e. not at all).

@dibblego @viktorklang @runarorama could you give me a link explaining this? I must have the wrong definitions in mind