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. He did a PhD in abstract algebra studing crossroads of noncommutative geometry and categorical Galois theories. He is interested in the crossroads of logic, category theory, abstract algebra and computer science. He is currently working for IOHK as a Haskell developer and team lead for the networking team.