It seems clear when you consider that an untyped Haskell would obviously not be pure, so the distinction is clearly about types.
-
@yminsky@jacobmcarthur One reason folks tend to use the free monad approach is testability. You can introspect on the terms and validate.
@kmett @yminsky @jacobmcarthur Pure-functional I/O in C# using free monad. https://gist.github.com/tonymorris/7817335 …
-
-
@dibblego That lambda syntax looks really useful for folds. I shudder to think what that would look like in Java 7. -
@nvanderw Java has anonymous classes though, so the encoding can be a little easier. http://functionaljava.org/ - Show replies
New conversation -
-
-
“
@dibblego:@kmett@yminsky@jacobmcarthur Pure-functional I/O in C# using free monad. https://gist.github.com/tonymorris/7817335 …” /cc@headintheboxThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.