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.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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