I ended up reading on free monads, cofree comonads, and the like last night. Here's my (executable Haskell) notes: https://gist.github.com/cabrera/c1464518e554341bf578 …
-
-
Replying to @queertypes
@cppcabrera coiter is one of my favorite things. e.g, gameTree :: Cofree [] Game gameTree = coiter moves start that codata ^_^
1 reply 2 retweets 2 likes -
Replying to @ReinH
@cppcabrera btw one of the great things about this is that, because of laziness, the game tree unfolds as you explore it.
2 replies 0 retweets 1 like -
Replying to @ReinH
@cppcabrera More specifically, because the (co)recursion is productive. It would be nice if Haskell could guarantee this though.
1 reply 0 retweets 0 likes -
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
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.