Why don't you try D if type-and-compile is what you enjoy?