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 Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
• Haskell eXchange 2021 (Online Conference on 16th - 17th November 2021)
• Abstract Fun-sense: a functional perspective on life (SkillsCast recorded in May 2021)
• Resource Analysis with Refinement Types (SkillsCast recorded in May 2021)