プログラミング言語は要は構文木なんだから、構文木そのものであるLisp与えて好きにマクロ使わせれば（Lispのマクロは極限まで抽象化できるので）勝手に最適化された言語になるでしょ。
でも今のAIはそういう事をしない。しないというのが今のAIの答えちゃうか