2 ms·
> such that a type problem not caught by Typescript potentially corrupted memory What does this have to do with static types? High-level languages, typed or un
by nyssos 3y ago
> such that a type problem not caught by Typescript potentially corrupted memory
What does this have to do with static types? High-level languages, typed or untyped, are generally memory-safe. They'd need a very good excuse not to be. If Haskell isn't a "real" statically typed language, nothing is.
- kazinator 3y agoA True Scotsman's statically typed language is not safe if the type system is defeated; then it's up to the programmer to ensure safety. TypeScript is not this; it's a type checking layer over a dynamic language.