Roadmap

The road to 1.0

• Fix outstanding major issues & enhancements in the v1.0 milestone:
  • [🛑] Support PEP 655: Required[] and NotRequired[] in TypedDict
    • Support the final version of (Not)Required in typing.py from Python 3.11b1
  • typing(_extensions).TypedDict: Fix to treat as open by default
    • Verify this behavior with existing type checkers
    • Implement the fix
• Release 1.0.0 version of trycast.

Beyond 1.0

• trycast: Enhance to use TypeForm
  • Standardize TypeForm:
    • ▶︎ Draft/shepherd PEP for TypeForm so that it can move to typing module
    • ––
    • Wait for a Python 3.x to be released with TypeForm in typing
    • Revise imports of TypeForm to pull from typing module instead of typing_extensions when possible
    • Release 0.y.1 version of trycast
  • ▶︎ Implement TypeForm support in mypy -- https://github.com/python/mypy/issues/9773
  • Revise {trycast, isassignable} signatures to use TypeForm
• Fix outstanding major issues & enhancements in the v1.1 milestone:
  • checkcast: Add API to provide information as to why a type is not "assignable"
• Improve documentation:
  • Automate computation of code coverage % across all supported Python versions. Advertise in README prominently.
• Release 1.1.0 version of trycast.
• –––
• (?) Add support for additional common non-JSON types:
  • typing.Iterable
  • typing.Iterator
  • typing.Generator
  • typing.ContextManager
  • –––
  • ⎋ Consider special items supported by typeguard
  • ⎋ Consider special items supported by PEP 585 (Type Hinting Generics In Standard Collections)
• (?) Recognize other types and special forms, beyond just the JSON-related ones:
  • User-defined generic types
    • Typeguard supports these types by allowing users to write custom matchers as a plugin
  • TypeVar
  • Nominal vs structural subtyping: Sized, Iterable
  • Special typing primitives
    • ... (many more)
  • Generic concrete collections
    • typing.Set
    • typing.FrozenSet
    • ... (many more)
  • Abstract Base Classes
    • typing.Iterable
    • typing.Iterator
    • typing.Generator
    • typing.ContextManager
    • ... (many more)
  • Protocols