3 ms·

I mean run-time checks that the user must implement. For example, in JS you might put these all over your code-base: if (typeof x !== 'string') { th

I mean run-time checks that the user must implement. For example, in JS you might put these all over your code-base: if (typeof x !== 'string') { throw Error('Expected a string'); }

zohch 5y ago
This will already inform mypy that after that if statement x is type string.