Please log in to watch this conference skillscast.
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.
Among examples are both Kleisli categories and and the pure category
-> where monadic actions come from the identity monad. This is important as it gives a way to instantiate an abstract description in a pure setting (e.g. for testing). Such categories admit a free model which allows to build abstract models, and he will present the free construction. Finally, he will present an example application in which a finite state machine will be represented using such a free category. This will give a type safe presentation of a state machine, where each state transition is guarded by the type system.
This talk will be based on his (on going) work on the free-category package published on Hackage. https://hackage.haskell.org/package/free-category
YOU MAY ALSO LIKE:
- Lightning Talk: Rethinking Freeness through Universal Algebra (SkillsCast recorded in October 2018)
- The Secrets of the GHC Garbage Collector (in Online Event on 11th June 2020)
- Lightning Talk: Making and Testing Code Generators in Haskell (SkillsCast recorded in October 2019)
- Functional Lenses Through a Practical Lens (SkillsCast recorded in October 2019)
Categories and State Machines
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.