Pedro RodriguezThe problem with automatic derivationAnd why libraries need to stop implementing it4 min read·Feb 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.5 min read·Dec 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…8 min read·Apr 6, 2017----