演算子をユーザーが定義できる言語を集めてみています。
正格評価の関数型言語
純粋遅延関数型言語Concurrent Clean
Standard ML
オープンソースの統計解析システム 《R》
mathematicaでは、演算子の評価規則が未定義の記号がある。
これらのアプリケーションでユーザー定義の出来る演算子があるかどうかは未調査。
ユーザーが演算子の定義をすることはできないが、オーバーロードがある言語が多い。
http://hp.vector.co.jp/authors/VA003670/python/Class/Overload.htm