ストラウストラップのＯＯのキモは「抽象データ型にクラスを使うアイデア」。
ref. http://www2.research.att.com/~bs/whatis.pdf

ケイのＯＯのキモは「処理系のみならず、その受け皿であるナンチャッテＯＳ、工程まで
ひっくるめたあらゆることで徹底した動的性」。
ref. http://metatoys.org/oxymoron/oxymoron.html

関数型のキモは「非破壊操作とそれがもたらす参照透明性」。

型推論とかメッセージとかパターンマッチとかはオマケです。偉い人には(ry