GET MORE CLARITY WITH OPAQUE TYPES IN SCALA 3

on YouTube ↗26m

" summary

Scala 3’s opaque type aliases provide a middle ground between raw primitives and wrappers: an opaque type alias is treated as the underlying type inside its defining scope but is hidden elsewhere, so plain ints can’t be accidentally passed as Pages or Year. The demo builds object-level smart constructors returning Option, adds instance behavior with extension methods, and shows the subtype trick to inherit Int’s API; runtime is erased with no runtime overhead. Drawbacks shown: no default constructors, no pattern matching, and equals/toString cannot be overridden.

AI-written summary · about

" chapters (8)

1. 0:00Introduction
2. 0:28Define the problem
3. 1:54Types in Scala 2
4. 3:24Example
5. 9:15Smart Constructor
6. 14:50Legacy Method
7. 17:40Summary
8. 19:11Questions

" related talks

• 32mAdvanced Features of Scala 3Bill Venners · Scale By the Bay 2021
• 30mLessons Learned from 15 Years of Scala in the WildDean Wampler · Scale By the Bay 2021
• 45mHow to be polymorphic in ScalaYuriy Polyulya · JavaDay 2013
• 49mOOP versus Type Classes in ScalaAlex Nedelcu · Scala Love in the City 2021
• 43mA Tour of Contextual Abstractions in Scala 3Dean Wampler · Scala Love in the City 2021
• 35mIntroducing Typelevel Scala into an OO environmentMarcus Henry · Typelevel Summit Philadelphia 2016
• 48mObject Functional ProgrammingRahul Goma Phulore · Functional Conf 2014
• 51mOpening Keynote: New Functional Constructs in Scala 3Martin Odersky · Scale By The Bay 2018