3 ms·
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 lan
by slaymaker1907 4y ago
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 4y agoI 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.