Appunti sul type checker
TypeScript è il linguaggio dei servizi backend e delle librerie npm che mantengo, usato in strict mode su Node.js.
Aggiornato Sep 2026
Il materiale qui nasce dal lavoro sul type system e sulla performance del compilatore in codebase backend e di libreria reali — inferenza che va storta, tipi condizionali che non distribuiscono come ti aspetti, e type-check che diventano lenti. Non è esaustivo e non è l'handbook: è ciò che è emerso davvero.
Una raccolta in evoluzione di note, esperimenti e progetti — non una copia della documentazione ufficiale. Questa raccolta riguarda il type system strutturale e la performance di tsc: inferenza, tipi condizionali e dove il type-checking diventa costoso. La tipizzazione applicativa quotidiana, i decoratori e i generici specifici dei framework sono fuori ambito.
Filtrato per Inferenza dei tipi · Rimuovi filtro
Scrittura tecnica focalizzata su un concetto, un problema o un'intuizione specifica.
Su cosa spende tempo il checker: istanziazioni, confronti strutturali, la relation cache; cosa mostrano --extendedDiagnostics e --generateTrace; e dove leggere una trace smette di dirti cosa fare.
Quando un tipo condizionale distribuisce su una union e quando no, come [T] extends [U] lo disattiva, quale posizione di infer vince, e perché la forma distributiva amplifica il costo.
Ancora niente con questo argomento.
Ancora nessun progetto pubblicato.
Aree e competenze collegate a questo lavoro.