[nine_k]

Hindley-Milner type inference and linear types (used indirectly for lifetimes) spring to mind.

[rujuladanh]

Those are useful for compiler devs and language designers, not so much for the average user of the language.