A third way of categorizing the type system of a programming language uses the safety of typed operations and conversions.
Třetí způsob, jak roztřídit typový systém programovacího jazyka používá bezpečnost typových operací a konverzí.