Introduction to Scala 3's Capture Checking and Separation CheckingApril 13, 2026 · Rikito TaniguchiScala