Please log in to watch this conference skillscast.
Freeness is a well defined concept in the mathematical discipline called Universal Algebra. It translates to Haskell surprisingly well and it gives a nice interface for many free structures of various kinds: like semigroups, monoids; functors, applicative functors, monads, state monads; categories.
Marcin will advertise a Package package
free-algebras and he will point to some nice application to state machines.
For more information please see Marcin's blog's here.
YOU MAY ALSO LIKE:
Lightning Talk: Rethinking Freeness through Universal Algebra
Marcin is a PhD mathematician, and a Haskell programmer. Interested in the crossroads of logic, category theory, abstract algebra and programming.