4 ms·type inference in programming languages is more than 50 years old. ML had it in 1973.by toolslive 2y agotype inference in programming languages is more than 50 years old. ML had it in 1973.