#effect-system

ケイパビリティ注入が最小権限を保証するには大域的権限を遮断する updated 2026-09-10
副作用の型付けは何を追跡するかによって保証が変わる updated 2026-09-01