Gradual Typing
← Back to Static vs Dynamic Typing
A type system that allows mixing statically typed and dynamically typed code within the same program. Optional type annotations enable incremental adoption of static typing, providing flexibility for rapid development with the option to add safety over time.
Key Properties
Related
- Languages: TypeScript, Python with mypy