La elección entre sistemas de tipificación dinámico y estático requiere algunas contraprestaciones.