[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)