Tag Archives: monoids

foldr is made of monoids

> import Data.Monoid In his recent blog post What is foldr made of?, Tom Ellis made the clever observation that foldr is equivalent in power to the combination of map and compose, where > compose :: [a -> a] -> … Continue reading

Posted in haskell, math | Tagged , , , , | 15 Comments

More from Hac φ

Yet more pictures from Hac φ! This afternoon we were treated to talks by Dimitry Golubovsky (typed JavaScript generation), Edward Kmett (monoids library and monoidal parsing), Gershom Bazerman (DSL and quasiquoting for JavaScript generation), and Anton van Straaten (Gitit as … Continue reading

Posted in haskell, meta | Tagged , , , , , , | 1 Comment