Hacker News Reader

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

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