Kleisli categories and free monadsPublished 20 XII 2018
In this short post we explore the interplay of free monads and keleisli categories.
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.