[shados]

It's leaky in the sense that you can bypass it. If I flag something as private in TS, there's nothing stopping a "any" somewhere from making it writable, for example.

[BoorishBears]

That's not what a leaky abstraction is.

[shados]

An abstraction that doesn't properly hide what's under the hood and requires people to still be aware of it. That's exactly what TS is.

[BoorishBears]

Ts doesn’t abstract away Js.

It’s a superset of Js, almost the “opposite” of an abstraction (at least in the common intent of an abstraction)