Che cos'è typed-holes-refactor?
Codebase di refactoring utilizzando la metodologia Design by Typed Holes: refactoring iterativo e basato su test con risoluzione formale dei fori, propagazione dei vincoli e convalida continua. Da utilizzare durante il refactoring del codice esistente, l'ottimizzazione dell'architettura o il consolidamento del debito tecnico attraverso uno sviluppo sistematico basato sui buchi. Fonte: rand/cc-polymath.