Strong Typing
← Back to Strong vs Weak Typing
A type system that does not allow implicit type coercion between unrelated types. Operations on mismatched types produce errors rather than silently converting, preventing subtle bugs from unexpected type conversions.
Key Properties
Related
- Languages: Python, Haskell