3 ms·

you can't have type-safety with an unsound type system, silly.

• sachinraja 4y ago
  Could you elaborate on this? What part of tRPC do you think is unsound due to the type system?
  • colinmcd 4y ago
    TypeScript's type system is unsound in a mathematical sense: https://effectivetypescript.com/2021/05/06/unsoundness/ https://effectivetypescript.com/2021/05/06/unsoundness/ Though this has little bearing on practicality which is probably why the original comment is at the bottom of the pile. He's also using a stricter mathematical definition of "type safety" whereas tRPC means it in the colloquial way it's used in the TypeScript ecosystem (that is, a fully typed interface between client and server, ideally that's non-duplicative and inferred directly from your code instead of being manually defined).
    • sachinraja 4y ago
      Thanks for clarifying!