One could also make the opposite and not contradictory point that type-systems make unit-tests less needed.
They both help
One could also make the opposite and not contradictory point that type-systems make unit-tests less needed.
They both help