undefined | Better HN

0 pointstomaskafka11mo ago0 comments

> "The debug mode sounds interesting at first thought"

I don't think so. I just added typia's is* checks to places where I am digesting a json input, it was rather trivial, and now I can actually trust for the first time that the object I am holding actually matches the declared type.

> "You can’t make things idiot proof"

I just did. You can't have a non-idiot-proof program running in the wild and blindly trusting the outputs of whatever API it uses.

0 comments

9dev11mo ago

I doubt you're able to catch all edge cases even in your own program (in an economically viable way), but great for you if that works for that use case.

However, if we're talking about the TypeScript compiler, the complexity required to ensure end-to-end runtime type soundness is orders of magnitude greater than sprinkling a bunch of isString checks here and there.

j / k navigate · click thread line to collapse