Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore advanced dependent typing features in Scala through this 41-minute conference talk from Scala Days 2025. Learn how dependent types enhance language expressiveness by enabling safer programs and making illegal states unrepresentable, while discovering the current limitations when applying dependent typing to object-oriented constructs compared to functional programming elements like methods and functions. Understand the motivation behind using dependent types in Scala development and examine how the compiler handles dependent classes. Discover the new tracked modifier and other compiler improvements designed to streamline dependent type usage and enable more precise type tracking in object-oriented Scala code.
