AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the practical implementation of Capture Checking, Scala's next major feature that enables safe and scalable effectful programming through capabilities. Learn how this theoretical advancement is being translated into real-world applications through a fully capture-checked version of the Scala API and the experimental Gears asynchronous programming library. Discover the systematic process of gradually introducing capture checking to existing libraries, understand the necessary code modifications, and master techniques for guiding library users toward safer programming patterns using capture annotations. Examine a comprehensive case study demonstrating how to implement medium-sized projects using capabilities-as-effects paradigm, and see firsthand how capture checking helps identify and prevent common programming errors during development. Gain insights into the evolution from theoretical foundations to practical compiler implementation, and understand how this feature promises to transform effectful programming in Scala by providing better safety guarantees and scalability.
