/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 blog.sigfpe.com
A Neighborhood of Infinity: From Monoids to Monads
| | bartoszmilewski.com
Free Monoidal Functors | Bartosz Milewski's Programming Cafe
2.3 parsecs away

Travel
| | 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
Monoids in the Category of... | Blog | jackkelly.name
1.5 parsecs away

Travel
| |
| | bartoszmilewski.com
Monads, Monoids, and Categories | Bartosz Milewski's Programming Cafe
2.9 parsecs away

Travel
| | This is part 31 of Categories for Programmers. Previously: Lawvere Theories. See the Table of Contents. There is no good place to end a book on category theory. There's always more to learn. Category theory is a vast subject. At the same time, it's obvious that the same themes, concepts, and patterns keep showing up...
| | blog.sigplan.org
From Research Prototypes to Continuous Integration: Guiding the Design and Implementation of JavaScript | SIGPLAN Blog
19.2 parsecs away

Travel
| The open-source development of the JavaScript programming language is now automatically checked. The language specification written in English is type checked, and the tests are checked for conform...