Capture Checking for Scala

We'll be looking at the next big feature to hit Scala -- Capture Checking!

Capture checking is a fundamental extension to Scala's type system. At compile time the Scala compiler will track what objects references are captured by newly created objects, and whether those captures are allowed or not.

References:
https://docs.scala-lang.org/scala3/reference/experimental/cc.html
https://www.scalamatters.io/post/capture-checking-in-scala-3-4
https://dl.acm.org/doi/10.1145/3618003

--

Attendees are encouraged to suggest topics and bring questions.

Presentations to the group from ALL experience and skill-levels are highly encouraged! Just let me know and we'll get you scheduled.

Zoom opens at 6:30. We'll (try to) start at 7 sharp.

This meetup is conducted online using Zoom.

General conversation, discussion, and socializing.