I know how it works. The point of the topic was to have type information available, so we can use it for things like dynamic binding. No one asks for the runtim

I know how it works. The point of the topic was to have type information available, so we can use it for things like dynamic binding. No one asks for the runtime to be as strict as the type system (the compiler). I like Venkat's presentations: https://www.youtube.com/watch?v=34oiEq9nD0M https://www.youtube.com/watch?v=34oiEq9nD0M BTW. I do not agree with the opinion in the topic. Since Typescript is compiled to something else (usually JS), I'd prefer Typescript to have proper annotations (there are "decorators") and compiler hooks and just use code generation for concerns like (de)serialization.