C#'s, if you're looking for a Java-style language done right. Objective-C's is also interesting, for one that makes some different design tradeoffs. Being opti

C#'s, if you're looking for a Java-style language done right. Objective-C's is also interesting, for one that makes some different design tradeoffs. Being optionally static with duck typing, for one. Any ML variant, if you want to see how expressive a language can get when static typing is treated as a way for the compiler to work for you, not you working for the compiler.