SebastianVerified account

After using TypeScript there's some features that I'm terrified of that seem counter intuitive. All the following examples produce NO errors and are with every single strict TS option enabled.

I use type predicates about as much as type casting: rarely. They’re both powerful yet unsafe. Occasionally you need to tell TS that you know better than the type system.

I have 12 uses of type predicates and 81 uses of "type casting". They would be even more powerful if they were safe.

If your 12 uses of type predicates is similar to your example of a string primitive, it’s actually safer to move the typeof inline as a type guard. The predicates are only useful for nested objects. It would be great if they were safe and forced an explicit cast to be unsafe.