コンパイラの最適化に関してはまだまだgccに勝てる処理系はないみたいですが、
関数型言語の共通コンパイラバックエンドを作ろうというプロジェクトなどが
計画されたことなどあるんでしょうか？聞いたことないですが。