>>696
> オブジェクト指向プログラミングと関数型プログラミングの統合のことね。

統合なんてされてないが?
関数型的なはごく一部だし、
この程度なら今時の言語はほとんど入っているか、入れようとしている。

設計理念ならJoin計算とか型理論とかその辺だろ。