Use ADT-specific behaviors on a common interfaceIn the past, we saw how to use ad-hoc polymorphism (through type classes) to define behavior across different unrelated types where the…Jan 31, 2019Jan 31, 2019
Bend any type to your will with ad-hoc polymorphismAccording to Wikipedia[¹], polymorphism in programming languages and type theory is:Nov 2, 2018A response icon1Nov 2, 2018A response icon1
Use smart constructors to create safe APIsAs the developer of a library, you usually develop its APIs so that they are simple, easy, and safe to use. Of these 3 characteristics…Oct 3, 2018Oct 3, 2018
Monad Transformers vs. MTLMonad transformers and the Monad Transformer Library (MTL) are often brought up in the same conversation as solutions to the problem of…Aug 10, 2018Aug 10, 2018
