Please log in to watch this conference skillscast.
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)
- Haskell at Work (Online Workshop on 30th January - 2nd February 2023)
- Haskell eXchange 2022: Novice Track (Online Conference on 7th December 2022)
- Haskell eXchange 2022: Online Conference (Online Conference on 8th - 9th December 2022)
- Haskell: Why and How the External STG Interpreter is Useful (SkillsCast recorded in December 2021)
- Keynote — Haskell: What To Do When Success Can't Be Avoided (SkillsCast recorded in November 2021)
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.