Pxramkq39acspryrakav
SkillsCast

Lightning Talk: Rethinking Freeness through Universal Algebra

11th October 2018 in London at CodeNode

There are 38 other SkillsCasts available from Haskell eXchange 2018

Please log in to watch this conference skillscast.

731802711 640x360

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:

Thanks to our sponsors

Lightning Talk: Rethinking Freeness through Universal Algebra

Marcin Szamotulski

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.

SkillsCast

Please log in to watch this conference skillscast.

731802711 640x360

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:

Thanks to our sponsors

About the Speaker

Lightning Talk: Rethinking Freeness through Universal Algebra

Marcin Szamotulski

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.

Photos