Latest Posts

• CRDT Structure Encoding

  07 Oct 2021

  The problem any application may encounter when using LWW-based structures and an OR-set-based solution to it.

• Reverse Maybe as Another Applicative-not-Monad

  22 Feb 2017

  Every time somebody wants to show the difference between Applicative and Monad, they always pick ZipList, which is an Applicative but not a Monad. I recently found yet another example which is less common.