/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

 comonad.com
The Comonad.Reader ยป Free Monoids in Haskell
| | matthew.brecknell.net
Difference lists - Matthew Brecknell
2.1 parsecs away

Travel
| |
| | bartoszmilewski.com
Free Monoids | Bartosz Milewski's Programming Cafe
2.4 parsecs away

Travel
| | This is part 13 of Categories for Programmers. Previously: Limits and Colimits. See the Table of Contents. Monoids are an important concept in both category theory and in programming. Categories correspond to strongly typed languages, monoids to untyped languages. That's because in a monoid you can compose any two arrows, just as in an untyped...
| | justinhj.github.io
Monoids for Production
4.3 parsecs away

Travel
| | What's in this post?
| | richardzach.org
W. W. Tait, 1929-2024 - Richard Zach
27.0 parsecs away

Travel
| The eminent proof theorist and philosopher of mathematics William Walker ("Bill") Tait died March 15, 2024 in Chicago. He was 95. Bill was born on January 22, 1929, in Freeport, NY, and...