4 ms·
There's a thing called dynamic type checking. It's literally all type checking done at runtime. Even for mostly static typed languages you may want to lookup wh
by catblast 7y ago
There's a thing called dynamic type checking. It's literally all type checking done at runtime.
Even for mostly static typed languages you may want to lookup what a downcast is, it's not obscure.
- crimsonalucard 7y agoI'm not talking about type checking with your run time code. Obviously this is exists. My mistake with the wording. I am referring to the topic the poster is talking about, that is, type checking with type script and the precompile type checker of almost all statically typed languages. The precompile type checks do not need run time code. These are separate things executed at separate times AND really you can get by with 100% static.