he/him 
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.
Show this thread
-
Of course the simple case can be checked. I can also write a simple program that can be reduced to a regular language. We can prove a lot about that program in this case. But I think we both know that's not the point of Turing completeness
Any limitations in type checking type predicates are either due to it either not being implemented or the type system not having strong enough refinements.
-
-
That's all fine in theory; but in practice this is computationally expensive and hard to do comprehensively for a structurally typed dynamic language. I'd much rather the possibility of being right, than the guarantee of being wrong.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.