Signatury TypeScript pro tvrzení: Validace typů za běhu pro robustní kód | MLOG | MLOG