Haskell（GHC）の "if ... then ... else ..."キーワードを削除するにはどうすればいいですか？

Question

Haskellに言語/ DSLを埋め込んでいるため、if ... then ... else ...のキーワードを削除したいと考えています。 if,thenおよびelseは、多くのドメインで多くの意味を伝えています。言語/ドメインの性質を反映するために再定義する（または定義しない）のが良いと思います。

Googleとstackoverflowで検索しましたが、何も見つかりませんでした。 （私が古いスレッドを見つけたのは、if ... then ... else ...がHaskellのキーワードに含まれていた理由です）

My IDEはLeksahにあり、キーワードを削除できれば、if ... then ... else ...キーワードを通常のフォント/カラー/アンボールドに戻します。

---

私はすでにそうにifためif'の命名規則を試してみましたが、しました。 は特にifとif'を定義し、if'とif''を代わりに定義する必要がある場合や、if1とif2と定義したい場合は、とよく似ていません。 if'とifの両方の存在も混乱する可能性があります。 （混乱は、DSLのユーザーがHaskellのプログラマーであるため、私の状況ではそれほど深刻な問題ではないが、他の状況では助けになると思う）。これまでの回答をまとめる

---

：

• はGHCへRebindableSyntax拡張子を使用してください。キーワードを削除するほど一般的ではありません：Haskellのif-then-elseの構文はそのままです。 （Frerich Raabe）
• 回避方法：data Conditional b a = If b (Then a) (Else a)（一部のコンテキストでのみ適用可能）を使用して、非常によく似た単語/名前を使用してください。 （C. A. McCann）

RebindableSyntaxが比較的新しい機能であれば、少なくとも次のバージョンのGHCまでは、もっと一般的な方法を見つけることはまずありません。

Answer 1

RebindableSyntax GHCを拡張すると、独自のバージョンでif ... then ... elseの式をオーバーロードできます。特に、ifThenElse関数は、別の意味を定義するために使用されます。 if e1 then e2 else e3"はifThenElse e1 e2 e3を意味します。

いくつかの例を含めて、この機能の良い説明については、ブログの記事Rebindable if..then..else expressionsをご覧ください。

Answer 2

についてどのように：

cond True t _ = t 
cond False _ f = f 

Answer 3

既存のキーワードを削除することはできません。あなたが指摘したように、RebindableSyntaxを使うことができますが、それはあなたが望むことをしないかもしれません。

削除キーワードに近づい唯一のことは、その後のif/then /他にIF_/then_/else_拡大するCPPオプションをオンにして

#define if if_ 
#define then then_ 
#define else else_ 

プリプロセッサのような何かをすることです。