[brundolf]

I don't know the definition of "dependent type system" with enough precision to know whether or not TypeScript technically counts as one, but it has lots of powerful capabilities that allow driving the type system via provided values

[slaymaker1907]

I think it is technically a dependent type system, but not in the same way as say Coq or Idris.