Roadmap

Beyond 1.0

v1.1.0

• Fix outstanding major issues & enhancements in the v1.1 milestone:
  • [▶︎] checkcast: Add API to provide information as to why a type is not "assignable"
• Release 1.1.0 version of trycast.

Future

• trycast: Enhance to use TypeForm (to satisfy the §"Statically narrowing" goal mentioned in trycast's Philosophy)
  • 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
• Improve documentation:
  • Automate computation of code coverage % across all supported Python versions. Advertise in README prominently. Resources:
    • Python Code Coverage Using GitHub Actions and Codecov | Codecov
    • Combine Coverage for Different Python Versions
    • Configuring Test Coverage | Code Climate
    • Merging Reports | Codecov
    • Features | Codecov
    • Codecov GitHub Action
• –––
• (?) 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