「フレームワークとしての言語」
という方向になっていくのではないのですか？

ピュアな関数言語があることは分かりましたが、
ピュアがオブジェクト指向言語っていうのはどういう要件がありますか？
また、そういうものは存在しますか