@djspiewak @segfaultax IO is not a free monad. Dude. Just stop.
-
-
Replying to @bitemyapp
.
@djspiewak@segfaultax IO is a concrete monad unto itself a lá State and if you learned how GHC and YHC implemented IO you'd know that.3 replies 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp@segfaultax I'm well aware of how IO is implemented.1 reply 0 retweets 0 likes -
Replying to @djspiewak
.
@djspiewak@segfaultax then you've just lied. 1. Lied about IO being a free monad 2. Lied about understanding how IO is implemented4 replies 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp@segfaultax It's notable that IO in Scalaz is actually implemented in terms of Free.1 reply 0 retweets 0 likes -
-
Replying to @dibblego
@dibblego Actually,@djspiewak is right. Tower[IvoryTower]) => Trampoline[(Tower[IvoryTower], A)@bitemyapp@segfaultax1 reply 0 retweets 0 likes -
Replying to @yoeight
@dibblego@djspiewak@bitemyapp@segfaultax with type Trampoline[A] = Free[Function0, A]1 reply 0 retweets 0 likes -
Replying to @yoeight
@yoeight@djspiewak@bitemyapp@segfaultax Yes, though that is aside from the implementation of IO in context. It is only for performance.1 reply 0 retweets 0 likes -
Replying to @dibblego
@dibblego K, I see your point@djspiewak@bitemyapp@segfaultax1 reply 0 retweets 0 likes
@yoeight @djspiewak @bitemyapp @segfaultax See also related discussions about OI comonad (which ultimately, also does not work).
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.