Explore >> Select a destination
|
You are here 
|
julesh.com | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | Abstract: I derive a free monoidal (applicative) functor as an initial algebra of a higher-order functor using Day convolution. I thought I was done with monoids for a while, after writing my Monoids on Steroids post, but I keep bumping into them. This time I read a paper by Capriotti and Kaposi about Free Applicative... | |
| | | | |
jackkelly.name
|
|
| | | | | ||
| | | | |
tomcircle.wordpress.com
|
|
| | | | | Lens = {get, set} w = whole tuple, p = a field get :: w -> p set :: w -> p -> w Example: take a pair (tuple) get1 (x, y) = x get1 :: (a, b) -> a set1 (x, y) x' = (x',y) set1 :: (a, b) -> a -> (a,b) Polymorphic... | |
| | | | |
curiousterran.wordpress.com
|
|
| | | Visit the post for more. | ||
