News for hackers. Stuff that matters.
Re:Can we get the benefits of transitive dependencies withou... by justinpombrio on Wednesday January 29, 2025 @03:19PM (#42870611)
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?

There are no comments on this comment yet.