3 ms·
It’s not enforced at all, and only serves to provide development feedback.
by ed25519FUUU 6y ago
It’s not enforced at all, and only serves to provide development feedback.
- dragonwriter 6y agoThe annotations are a language syntax feature than the runtime doesn't enforce. There are a number of separate static typecheckers, such as mypy, that do allow AOT static verification (which is, after all, all languages like Haskell have; runtime enforcement of types that have been statically verified in advance isn't super common or necessary.)