Episodi
800 episodi · pag. 16/100EP 009
Quanta teoria ti serve?
Quanta formalizzazione serve a un dev: le tre scuole e la dose giusta di teoria...
EP 008
A cosa serve davvero
A cosa serve: definire un linguaggio, costruire interpreti, dimostrare, ragionare sul codice...
EP 007
La promessa dei tipi
I tipi come promessa sulla semantica: i programmi ben tipati non si incastrano...
EP 006
Quando le regole lasciano scegliere
Non-determinismo: quando le regole lasciano scegliere, tra ordine di valutazione e concorrenza...
EP 005
Quando il gioco si inceppa
I tre destini di un'esecuzione, lo stallo come errore, e i punti dove le regole tacciono...
EP 004
Piccoli passi, grandi passi
Piccoli passi e grandi passi: il rallentatore o il risultato, due lenti sulla stessa esecuzione...
EP 003
Le regole del gioco
Le regole di transizione: data una situazione, ecco la mossa; valutare e' ridurre un pezzo alla volta...
EP 002
Stato e passo
L'anatomia di un'esecuzione: lo stato, la fotografia di un istante, e il passo, la mossa...