Lots of languages have these features and it works fine. Finding the type of an expression is one of the canonical applications of a constraint solver.