Luis MedinaUse 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
Luis MedinaBend any type to your will with ad-hoc polymorphismAccording to Wikipedia[¹], polymorphism in programming languages and type theory is:Nov 2, 20181Nov 2, 20181
Luis MedinaUse 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
Luis MedinaMonad 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