Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
