4 ms·
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 pow
by brundolf 4y ago
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 4y agoI think it is technically a dependent type system, but not in the same way as say Coq or Idris.