ＭＬスレッドにレスしようと思ったが（そのような書きこみが多くあるため）
ＭＬに限らないので、やや不便ながらこちらに書きこみます。

お初に書きこみます。
私はＭＬは嫌いではありません。
そういう上で思っていることです。

数学的背景があるからＭＬ（など）は別格であるという見方はちょっとどうかと
思います。
私もＭＬは面白いなとおもうのですが、ＭＬが好きなほかの人の話を聞くと
ときどきやりきれなくなります。

関数型言語が数学的にサポートされているというのは、単に関数型言語が
「ある」数学的視点にとって都合の良い言語というだけであって、それ以上でも
それ以下でもないはずです。
それは言語が優れているということ（この命題はそもそもきちんと定義できて
いませんが）とはイコールではないと思います。
数学的な援軍を得やすいということだけだと思うのです。

たとえば同じ働きをプログラムをどれだけトータルで経済的に開発できるか、
という基準で考えたり、
同じものをどれだけ解りやすく（つまり低い理解力で）作り出せるかといった
風に考えた場合どうでしょう。
数学的な望ましい性質は、単なる手段に過ぎないと思います。
手段と目的がひっくり返っていませんか？

実際、ＭＬは「使えますか？
どなたかがＭＬスレで書いていましたが、ＭＬには今世の中で多いであろう
要求にたいしてまとまったライブラリがほとんどないと思うのです。
ＭＬを使っている人は一体何をしているのでしょう？言語と戯れているだけで
実際に使おうとしないのですか？実際に使おうとすると自然にいろいろな資
産が残るとおもうのですが。

個人的には関数型には非常な可能性を感じます。
ぜひ、仕様の口上じゃなくて「実績」で他の言語を蹴散らしてください。