Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region
7 points by snej
7 points by snej
I can’t figure out what the region concept gives us here. “Where data lives” doesn’t operationalize very easily…