News for hackers. Stuff that matters.

A comment on Strong typing, a hill I'm willing to die on. Parent comment

Re:Strong typing, a hill I'm willing to die on by nyssos on Friday October 06, 2023 @10:57PM (#37798632)
> 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.

[ Parent | on HN ]
Re:Strong typing, a hill I'm willing to die on by kazinator on Friday October 06, 2023 @11:16PM (#37798736)
A 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.

[ Parent | on HN ]