I remember seeing D when it was new-ish and never getting around to trying it. This seems to do a pretty good job of selling it.

(I still actually actively like dynamic typing, though. Type inference is only capturing part of the value.)