This works fine in Scala. And no, they don't need feedback form the type-checker to parse a program. Also there is no ambiguity with application. val f: Any

This works fine in Scala. And no, they don't need feedback form the type-checker to parse a program. Also there is no ambiguity with application. val f: Any => String = any => any.toString