›Che cos'è il restringimento del tipo e come lo fa il compilatore?Middle#Type Narrowing#TipiDettagli →
›Cos'è un'unione discriminata (discriminated union) e perché è potente?Middle#Tipi#Type NarrowingDettagli →
›Che cos'è il tipo `never` e come abilita i controlli di esaustività?Middle#Tipi#Type NarrowingDettagli →
›Che cos'è l'operatore di asserzione non-null (!) e quando è appropriato?Middle#Type Narrowing#TipiDettagli →
