@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 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? -
@davetchepak Can you think of a program where you replace an expression with its value to alter the program (violating RT)? I can. - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.