Someone suggested on the scala list today that a tool be written for analyzing your code and suggesting advanced language features you could be using to improve your code. My first thought was

Seriously though, doing global type inference for language as expressive as Scala would be a challenge. Trying to also recognize patterns and idioms in the code, while I won't say it is impossible, would be a Herculean task.