But extreme programming advocates usually also assert that having tests is more or less equal to not needing static typing. So, even though a typed language gives you static typing for free, it ...