単純に言えば、
汎用性の問題なんだが、

特化した目的に対しての、
最適化等は既に出来る訳で、

抽象的な目的に対する、
最適化等ができないと言う話にたどり着いてしまう。