More Typing, Less Typing - Driving behaviour with types

A SkillsCast for this session is not available.

With type-driven behaviour, intent can be cleanly expressed through type information, reducing boilerplate, making logic more obvious, and keeping code simpler and more concise. Write your base typeclasses once, and let the compiler generate complex combinations for you automatically.

Scala’s implicit search and typeclass traits combine to produce a powerful and flexible system for generating behaviour and producing new logic based on types. By deconstructing your types into algebraic data types of primitive types and simple type operators, you gain an easy but powerful way to reason about your types and drive the compiler to generate the behaviour you want.

YOU MAY ALSO LIKE:

• An Introduction to Dependent Typing in Scala - Advanced (SkillsCast recorded in December 2016)
• Haskell at Work (Online Workshop on 30th January - 2nd February 2023)
• LJC Live with Andrey Breslav - Shoulders of Giants: Languages Kotlin learned from (in London on 12th December 2022)
• What Logic can Teach Us, Scala Programmers (SkillsCast recorded in October 2022)
• Taming the Context Beast (SkillsCast recorded in October 2022)