Outer Web | Explore

Explore >> Select a destination

You are here		argumatronic.com argumatronic - A Brief Guide to A Few Algebraic Structures
\|	\|	bartoszmilewski.com Categories Great and Small \| Bartosz Milewski's Programming Cafe	12.9 parsecs away Travel
\|	\|	In the previous instalment of Category Theory for Programmers we talked about the category of types and functions. If you're new to the series, here's the Table of Contents. You can get real appreciation for categories by studying a variety of examples. Categories come in all shapes and sizes and often pop up in unexpected...	12.9 parsecs away Travel
\|	\|	bartoszmilewski.com Free Monoids \| Bartosz Milewski's Programming Cafe	13.6 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...	13.6 parsecs away Travel
\|	\|	degoes.net A Glossary of Functional Programming - John A De Goes	13.9 parsecs away Travel
\|	\|	Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts	13.9 parsecs away Travel
\|	\|	yotam.net Why Static Typing · Yotam's blog	131.1 parsecs away Travel
\|		A blog about free software and programming	131.1 parsecs away Travel