Comment by wheels

Two things that I'd probably call just features of OO languages, but seem significant:

- Type-safe generic programming

- Introspection