C# is a statically typed language that gets a lot right (and not coincidentally also borrows a ton from Python). As mainstream languages go it's probably the best out there; too bad the Mono compiler is usually a version behind and the VM does not have competitive performance with either Windows CLR or Linux JVM.