@djspiewak @casio_juarez no, my functions are pure. Yes, Haskell still performs effects.
-
-
Replying to @puffnfresh
@puffnfresh@casio_juarez Without impurity, you have no input, no output, and no evaluation.7 replies 0 retweets 2 likes -
Replying to @djspiewak
@djspiewak@casio_juarez no, that's just wrong. IO is pure. There's no pretending.1 reply 0 retweets 1 like -
Replying to @puffnfresh
@puffnfresh@casio_juarez Side effects are impure by definition. Your function has a result outside of it's return value.1 reply 0 retweets 1 like -
Replying to @djspiewak
@djspiewak@casio_juarez yes, IO is not side-effecting. It's effecting.1 reply 0 retweets 1 like -
Replying to @puffnfresh
@puffnfresh@casio_juarez I have to know that IO represents an effectful container. If I didn’t know that, then I would see a and b as equal2 replies 0 retweets 1 like -
This Tweet is unavailable.
-
Replying to @pigworker
@pigworker@puffnfresh@casio_juarez What if I said getLine = Just “foo”? IO is carrying a significance beyond mere valuation.2 replies 0 retweets 1 like -
Replying to @djspiewak
@djspiewak@casio_juarez@pigworker what if "getLine = St.modify succ"? Are you really saying the State Monad is impure? State = s -> (a, s)6 replies 0 retweets 1 like -
Replying to @puffnfresh
@puffnfresh@casio_juarez@pigworker Haskell is special in that it gives us a way to write functions which do *not* take Universe.2 replies 0 retweets 2 likes
@djspiewak @puffnfresh @casio_juarez @pigworker you are giving undeserved significance to IO. It is a value like any other. List, Option
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.