Actually, for systems programming (kernels and languages) I would want a language with a strong (preferably static) type system.