L'un n'empeche pas l'autre ce sont deux concepts orthogonaux. Le typage dynamique, c'est generalement vu comme un bon principe de meme que l'inference automatique. Par contre l'autre est generalement une cause de bien des erreurs difficiles a tracer et debugger.