Programmazione TypeScript

Capitolo 3. Tutto sui tipi

Questo lavoro è stato tradotto utilizzando l'AI. Siamo lieti di ricevere il tuo feedback e i tuoi commenti: [e-mail]

Nell'ultimo capitolo ho introdotto l'idea dei sistemi di tipi, ma non ho mai definito il vero significato del tipo in sistema di tipi.

Tipo

Un insieme di valori e le cose che puoi fare con essi.

Se questo ti sembra confuso, lascia che ti faccia qualche esempio familiare:

• Il tipo boolean è l'insieme di tutti i booleani (ce ne sono solo due: true e false) e delle operazioni che puoi eseguire su di essi (come ||, && e !).

• Il tipo number è l'insieme di tutti i numeri e delle operazioni che puoi eseguire su di essi (come +, -, *, /, %, ||, &&, e ?), compresi i metodi che puoi chiamare su di essi come .toFixed, .toPrecision, .toString, e così via.

• Il tipo string è l'insieme di tutte le stringhe e delle operazioni che puoi eseguire su di esse (come +, ||, e &&), compresi i metodi che puoi chiamare su di esse come .concat e .toUpperCase.

Quando vedi che qualcosa è di tipo T, non solo sai che è un T, ma sai anche esattamente cosa puoi fare con quel T (e cosa no). Ricorda, il punto è che il typechecker ti impedisce di fare cose non valide. Il modo in cui il typechecker sa cosa è valido e cosa no è osservando i tipi che stai usando e come li usi.

In questo capitolo faremo un giro tra i tipi disponibili in Typescript e vedremo le basi di ciò che puoi fare con ognuno di essi. La Figura 3-1 fornisce una panoramica.