Comment on Can we get the benefits of transitive dependencies without undermining security?parentComments−justinpombrio1yThank 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?
Comments
Thank you for the clarity.
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?