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.
Talks I've Given
-
Categories and State Machines
Featuring Marcin Szamotulski
Marcin will give a short introduction to categories in Haskell, and he will present free construction of categories which embrace monadic actions and their usefulness to build state machines in Haskell.
haskell state-machines kleisli-categories categories -
Lightning Talk: Rethinking Freeness through Universal Algebra
Featuring Marcin Szamotulski
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;...
haskellx haskell