Types cannot be inferred in dynamic typing systems. That is the whole point of dynamic type systems: type might change during runtime.