Tony Morris

@dibblego Any reason C#’s Action / Action<T> can’t be used as `IO a` to program w/out side-effects? (until executed at top level)

@davetchepak Only that it returns void, which is substitutable for any program, but at top-level it becomes the only unsafe call.

@dibblego Oops, meant Action & Func<T>. Just wanted to see if that was a loose approximation for what IO gives us.

@davetchepak No, it will never give what IO gives.

@dibblego Why?

@davetchepak IO guarantees referential transparency. Show me same for Action. void /= IO<void>

@dibblego I was thinking Action<string> writeLine = s => Console.WriteLine(s). Then writeLine is RT?