-
Notifications
You must be signed in to change notification settings - Fork 39
Home
Chris Povirk edited this page Aug 7, 2025
·
20 revisions
Welcome to the JSpecify wiki!
If you haven't arrived here from the Start Here page, you should... start there.
This wiki contains a mishmash of various other drafts we've written, so we can decide where it belongs later. These aren't polished, but we try to keep them current.
- JSpecify overall FAQ
- Thoughts on Local analysis as a strategy
- Distinguishing two kinds of analysis
- Java concepts/glossary
- Detail on type usages
- Basic model
- Notation
- Nullness glossary
- Null-aware type system
- Null pollution
- Unspecified nullness
- Nullness Design FAQ
These are currently in one long page:
Except for:
Note: The contents of this wiki are not final, and represent current thinking and discussions.