Monadicityfrom algebras to monads and back to algebrasPublished 9 VII 2018
Introduction to the monadicity theory based on free-algebras Haskell package.
Free algebrashaddock documentation
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.
free-algebra package on hackage.