Tony Morris

@marius :-) You're very welcome. The functor composition is the most immediate thing I saw. I would need to look more closely.

@djspiewak dude. Every scala functor violates the law you describe. Functions can close mutable state cc> @marius

@jsuereth @marius Even if a function doesn't close over mutable state, Try still exposes impurity.

@djspiewak @marius if you limit to non-catching functions?

@jsuereth @marius Throwing an exception isn't impure. It's true that catching one is though.

@djspiewak @jsuereth @marius throwing an uncaught exception has the side-effect of termination. How is that pure?

@puffnfresh http://hackage.haskell.org/packages/archive/base/latest/doc/html/Control-Exception-Base.html#v:throw … just sayin'. /cc @djspiewak @jsuereth @marius

@mergeconflict @djspiewak @jsuereth @marius I have just become enlightened