Question Regarding static vs dynamic typing about objectmodel HOT 2 CLOSED

Not really, no. This feature is meant to give indications to TypeScript compiler that when you call a function at runtime like isFish (a function that you have to write yourself, that's why it is called "User Defined"), you bring the guarantee to TypeScript that the code under this if() branch has the Fish type, and TS can narrow down the union type.

TypeScript does not provide runtime checking, but the developer can do it manually and then need to inform TypeScript that he has done the job 😄

You can imagine that ObjectModel could be used as a giant User-defined type guard for any TypeScript class. In theory we could use both ObjectModel and TypeScript (though I obviously do not see the point), then put everywhere "It's okay TypeScript, ObjectModel has done the type-checking job, you can trust it."

from objectmodel.

got it, thank you!

from objectmodel.