[slaymaker1907]

Hmm, I didn't think it was actually possible to write a general and generic type for a function like pipe/compose. It's something that many statically typed languages struggle with unless they bring in the 500lb gorilla that is a full dependent type system.

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