Type inference, the idea that you can have a statically typed language without having to suffer the burden of writing down all the types is something that's now limited support in C# for, more support in Scala. 