Pedro RodriguezThe problem with automatic derivationAnd why libraries need to stop implementing itFeb 19, 2021Feb 19, 2021
Pedro RodriguezOrphan Instances in ScalaWithout proper discipline, type-classes in Scala can end up causing more harm than benefit. Orphans instances are one such danger.Dec 11, 2020Dec 11, 2020
Pedro RodriguezExistential types in ScalaType variables are a powerful piece of type-level programming. They can appear in a variety of forms and factors; phantoms and existential…Apr 6, 2017Apr 6, 2017