[Waterluvian]

> The idea of strict type-checking for JavaScript is less popular than in 2019.

I’d be shocked to find this to be true. Back then I’d always wonder, “are there typings for this library?” Now I don’t have to.

[__s]

By that I think he meant to differentiate Hegel from TypeScript as Hegel being strict, as opposed to TypeScript being what is often described as gradually typed

[Waterluvian]

Oh that makes more sense.

[nevon]

The keyword being "strict". Typescript is more popular than ever, but soundness is not a design goal.