[chris_armstrong]

Might I add - this isn't limited to languages like TypeScript which simply try and make underlying untyped languages (like JavaScript) safer. It affects well-designed strongly-and-statically-typed-from-the-ground-up languages which have expressive type-constructs (Rust, anything ML-based, etc.) used to reduce repetition and code-generation steps.

[LAC-Tech]

Javascript is not untyped; it's dynamically typed.

[IshKebab]

In this context untyped means that it is dynamically typed and doesn't have static type hints. It's a fairly new word but I've seen it used enough and the meaning is obvious enough that I don't think you need to pedantically correct it.

[LAC-Tech]

I think if you want to talk about typing disciplines, and their trade offs, it's helpful to get basic definitions correct.

If I wrote something and I made a mistake like this I would hope someone would correct me.

[IshKebab]

It is correct. It's just a new term you're not familiar with.

[LAC-Tech]

This is the dumbest thing I've read all month - and I was on LinkedIn.

[IshKebab]

Language changes. That's just a fact. Sorry you can't deal with it.

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

[foota]

This is true to some degree, but something about javascript/TS seem to lead to just incomprehensible typings. Imo any types where you start having to look at the keys of some map is going to lead to pain, but most other languages don't let you do that.