Typed transitions, finite state machines and free categoriesPublished 25 VIII 2018
In this post I model finite state machines using free categores; you will also get a gentle introduction to Kelisli categories, folds on free categories and finally tagless style. Based on a simple example of an FSM by Oscar Wickström.
Monadicityfrom algebras to monads and back to algebrasPublished 9 VIII 2018
Introduction to the monadicity theory based on free-algebras Haskell package.
Free algebrashaddock documentation
free-algebrapackage on hackage.
From free algebras to free monadsPublishded 30 VII 2018
The post was re-published on iohk blog.
Introduction to Universal Algebra, a mathematical discipline that is hidden under many constructions in Haskell ecosystem. It is more concrete than Category Theory, and hence often easier to understand. It is also a very useful source of examples in Category Theory.
Composing cofree intepretersPublished: 30 VIII 2018
Workshop on Category TheoryPublished: 12 VI 2018
Workshop I gave at Monadic Party. Unfortunatelly, first 30 minutes of the recording was lost...
Routing with cofree comonadPublished: 14 X 2017
My talk at PureScript Conf 2017 (a satelite event of Lambda Conf 2017) about routing frontend applications using coffree comonad and modelling DOM with
Peano Algebras in HaskellPublished: 2017
Fun with Peano axioms in Haskell.