More Typing, Less Typing - Driving behaviour with types
SkillsCast coming soon.
Scala’s type system goes beyond validation - using static type information we can drive the compiler to generate desired behaviour itself, simplifying our programs and saving programmer time and effort.
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)
- Advanced Docker for Enterprise Operations (in London on 28th - 29th November 2019)
- µCon London 2020 - The Conference on Microservices, DDD & Software Architecture (in London on 27th - 29th May 2020)
- Running Stateful Applications in Kubernetes (in London on 5th September 2019)
- Lightbend Scala Language - Professional (in London on 9th - 10th September 2019)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- London Java Community August Meetup (in London on 28th August 2019)
- London Java Community August (in London on 28th August 2019)
- The Last Frontier and Beyond (SkillsCast recorded in August 2019)
- Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (SkillsCast recorded in June 2019)
Thanks to our sponsors
More Typing, Less Typing - Driving behaviour with types
Nick Pollard
I started learning Scala almost 4 years ago, quickly getting to grips with the more functional aspects and developing an appetite for the type-level programming styles it enables. I have been writing Scala in Industry full-time since early 2013, and pushed Scala heavily at my previous organisation (Scotiabank). I am active in the Scala open source community, especially with the Typelevel organization.
SkillsCast coming soon.
Scala’s type system goes beyond validation - using static type information we can drive the compiler to generate desired behaviour itself, simplifying our programs and saving programmer time and effort.
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)
- Advanced Docker for Enterprise Operations (in London on 28th - 29th November 2019)
- µCon London 2020 - The Conference on Microservices, DDD & Software Architecture (in London on 27th - 29th May 2020)
- Running Stateful Applications in Kubernetes (in London on 5th September 2019)
- Lightbend Scala Language - Professional (in London on 9th - 10th September 2019)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- London Java Community August Meetup (in London on 28th August 2019)
- London Java Community August (in London on 28th August 2019)
- The Last Frontier and Beyond (SkillsCast recorded in August 2019)
- Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (SkillsCast recorded in June 2019)
Thanks to our sponsors
More Typing, Less Typing - Driving behaviour with types
Nick Pollard
I started learning Scala almost 4 years ago, quickly getting to grips with the more functional aspects and developing an appetite for the type-level programming styles it enables. I have been writing Scala in Industry full-time since early 2013, and pushed Scala heavily at my previous organisation (Scotiabank). I am active in the Scala open source community, especially with the Typelevel organization.