On Wed, Oct 15, 2025 at 11:34 AM Manu Sridharan <[email protected]> wrote:
> This is all mostly possible via the Checker Framework and similar > approaches. > In the spirit of due diligence, I am attempting to implement something like "WHAT I WANT" using the checker framework. Currently I'm battling a poor progress/confusion ratio. You wouldn’t need @SuppressWarnings annotations for validation either, due > to type refinement <https://checkerframework.org/manual/#type-refinement>. > And, for this type of property, where you’re essentially trying to > introduce new subtypes of an existing type and then enforce type > compatibility at assignments, the implementation effort to write the > checker is pretty low. > Let me know offline if you (or anyone else) is interested in helping me prototype something (I have a primordial github project). Thanks, -Archie -- Archie L. Cobbs
