Stagione 46: TypeScript

Uno strato di pensiero steso sopra JavaScript, che esiste solo mentre scrivi. Continuazione naturale della stagione su JavaScript: dopo il linguaggio che gira, lo strato di controllo che lo accompagna e poi svanisce. Dieci puntate sul carattere e sulle idee di TypeScript, non sulla sintassi: i tipi che spariscono prima di girare; il correttore che nell'editor ti fa da partner; il giudizio per forma e non per nome (la tipizzazione strutturale); l'inferenza che rende la sicurezza a buon mercato; il vuoto reso esplicito; il cursore della severità che regoli tu; il sistema utile-non-perfetto che mente apposta; il linguaggio dentro il linguaggio dei tipi che calcolano; i limiti onesti (svanisce a runtime, è un allarme non una garanzia); e la sintesi finale: TypeScript ha vinto non per la macchina, ma per le persone che si passano il codice nel tempo.

Episodi

10 episodi
EP 0010
Il pensiero prima dell'esecuzione

Il pensiero prima dell'esecuzione

Cos'è TypeScript in fondo: un modo di scrivere le tue intenzioni sulla forma dei dati e sui contratti, reso controllabile da una macchina...

4 min
EP 009
Il prezzo e i limiti: la rete che non è una garanzia

Il prezzo e i limiti: la rete che non è una garanzia

Il conto onesto: TypeScript non è gratis, e soprattutto svanisce a runtime, quindi non ti protegge dal mondo esterno (il malinteso più pericoloso)...

4 min
EP 008
Un linguaggio dentro il linguaggio: i tipi che calcolano

Un linguaggio dentro il linguaggio: i tipi che calcolano

Il sistema di tipi è un piccolo linguaggio a sé, che calcola tipi da altri tipi...

4 min
EP 007
Utile, non perfetto: perché TypeScript mente apposta

Utile, non perfetto: perché TypeScript mente apposta

Una delle cose più oneste di TypeScript: a volte mente apposta...

5 min
EP 006
Il cursore della severità: i tipi si adottano a poco a poco

Il cursore della severità: i tipi si adottano a poco a poco

Come TypeScript ha conquistato il lavoro: la gradualità...

4 min
EP 005
Il vuoto reso esplicito: quando qualcosa può mancare

Il vuoto reso esplicito: quando qualcosa può mancare

La cosa più preziosa che TypeScript prende: usare qualcosa che potrebbe non esserci, il crollo più comune del software...

4 min
EP 004
I tipi che non scrivi: l'inferenza

I tipi che non scrivi: l'inferenza

La maggior parte dei tipi non li scrivi: li deduce TypeScript, guardando cosa fai...

4 min
EP 003
Conta la forma, non il nome: la tipizzazione strutturale

Conta la forma, non il nome: la tipizzazione strutturale

Quando due cose sono dello stesso tipo? La maggior parte dei linguaggi risponde per nome; TypeScript per forma...

5 min
EP 002
Il correttore che lavora mentre scrivi

Il correttore che lavora mentre scrivi

Il vero motivo per cui TypeScript piace, quello che si sente ogni giorno: il correttore lavora nell'editor come un partner (completamento giusto, avvisi immediati, rinomina sicura)...

4 min
EP 001
Un'idea strana: i tipi che spariscono

Un'idea strana: i tipi che spariscono

L'idea fondativa e controintuitiva: i tipi di TypeScript esistono solo mentre scrivi e spariscono prima che il codice giri...

4 min