Categories and State Machines

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)