@segfaultax Code as data is simply the lambda, nothing more.
-
-
Replying to @djspiewak
@djspiewak Ok, going by that definition, what does this have to do with monads?3 replies 0 retweets 0 likes -
Replying to @segfaultax
@segfaultax This is in fact precisely what free monads do.1 reply 0 retweets 0 likes -
Replying to @djspiewak
@djspiewak I think I'm starting to understand your point. However, I only have a vague/blog-posts worth of understanding of free mondas.2 replies 0 retweets 0 likes -
Replying to @segfaultax
@segfaultax Another useful (actually identical) free monad is IO.1 reply 0 retweets 0 likes -
Replying to @djspiewak
@djspiewak@segfaultax IO is not a free monad. Dude. Just stop.1 reply 0 retweets 0 likes -
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 - 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.