Type-level Programming ƒun in TypeScript

In questo secondo evento Milano TS ospiteremo Mattia Manzati, da Ferrara, che ci parlerà di programmazione type-level in TypeScript. Pronti per un po' di live-coding?

Programma della serata:

• 18:30 - 19:30 - Aperitivo di benvenuto

• 19:30 - 20:30 - Type-level Programming ƒun in TypeScript: Il Type System è nostro amico nella realizzazione del codice, e ci salva da innumerevoli bug nascosti. Quando incontriamo funzioni dalla natura molto dinamica i nostri tipi possono però non essere abbastanza, e si finisce per dover eseguire a mano innumerevoli cast, introducendo errori umani. Possiamo migliorare i nostri tipi? Possiamo insegnare al compilatore come si comportano, a livello di tipo, le nostre strutture dati? In questo talk vedremo assieme cosa è il type-level programming, e come introdurlo nella nostra codebase ci aiuta a raggiungere definizioni di tipo più esatte, riducendo quindi i bug nel nostro codice. Partendo da un esempio pratico ne vedremo i pattern base, i limiti e le potenzialità.