From mathematics to map-reduce

There's more mathematics to programming than meets the eye. This post will highlight one such connection that explains the link between map-reduce and category theory. I will then conclude with some wild speculation about what this might imply for future programming paradigms. This post assumes that you already know Haskell and explains the mathematics behind the map-reduce using Haskell concepts

[igrep]

Map ReduceはFree Monoidだった。相変わらずゴンザレスさん分かりやすい。

[lotz84]

Haskellのコードで自由構成と忘却関手の随伴を説明したあと Map Reduce がその特別な場合として出てくる