Thank you for the clarity. > But that thing you wrote is a static effect system....

		justinpombrio on Jan 29, 2025 \| parent \| context \| favorite \| on: Can we get the benefits of transitive dependencies... Thank you for the clarity. > But that thing you wrote is a static effect system. The thing I wrote is expressible in Java's type system as it is today. So you're saying that Java has a static effect system?