副作用の影響範囲を型で示したい — Scala 3 が模索する「Capture Checking」 - エムスリーテックブログ

capabilityを引数で渡す発想は古く、型に出るのは何を使うかまで。新しいのは捕捉集合でどこまで逃がさないかを型に載せた点。設計と型検査を分けて捉えると通りが良い