In spite of the fact that typeclasses benefit our program with ad-hoc polymorphism,we excessively introduce personal principles and conventions.
Programming typeclasses without adhering to their laws would lead to side effects in the code base. Instead of infinitely obsessing over writing more typeclasses, we should take it up a notch by reaffirming our typeclasses are following their laws. We can leverage Typelevel’s Discipline library and SBT’s customized plugin to ensure our typeclasses are correct. With or without typeclasses experiences, join us to have a better typeclasses understanding.
Session length
40 minutes
Language of the presentation
English
Target audience
Intermediate: Requires a basic knowledge of the area
Who is your session intended to
People who desire a comprehensive understanding of typeclasses.
People who is used to program typeclasses, but have not thought about typeclasses laws.
People who desire to get deeply into the abstraction of programming with typeclasses.