MLは言語の筋は良いのに普及がいまいちなのは，
一番メジャーであり割と最近まで唯一のフルセットのフリーな処理系であった
SML/NJの効率や使い勝手があまりよくなくしかも開発のペースが遅かったこと，
そして標準であるSMLの仕様がいまいち古臭く最新の研究成果を反映していないこと．
が挙げられると思う．CAMLはその辺を独自路線で良いものにしたわけだが，
あくまで非標準ということでフランス以外ではあまり受け入れられていない．
MLの基本設計は好きなのでこういった残念な状況は改善されて欲しいのだが．