3 ms·
You might be interested in this paper. http://www.cs.umd.edu/~aseem/safets.pdf http://www.cs.umd.edu/~aseem/safets.pdf It describes an extension to TypeScript
by mintplant 12y ago
You might be interested in this paper.
http://www.cs.umd.edu/~aseem/safets.pdf http://www.cs.umd.edu/~aseem/safets.pdf
It describes an extension to TypeScript that includes efficient runtime type checking. They encode type information only in situations where checks are necessary, and only information that cannot be otherwise deduced from the context.