il mio tratto tossico è avere un controllo rigoroso dei tipi + silenziare le linee rosse con assert