6 ms·
Could you elaborate on this? What part of tRPC do you think is unsound due to the type system?
by sachinraja 4y ago
Could you elaborate on this? What part of tRPC do you think is unsound due to the type system?
- colinmcd 4y agoTypeScript'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 agoThanks for clarifying!