我怎样才能删除“如果...那么...否则...” Haskell (GHC) 中的关键字？

Question

我想删除 if ... then ... else ... 关键字，因为我在 Haskell 中嵌入了语言/DSL。 if、then 和 else 在许多领域中传达了很多含义，如果我可以重新定义（或保留它们未定义），那就太好了它们反映了语言/领域的本质。

我在 Google 和 stackoverflow 上搜索过，但一无所获。 （我确实找到了一个旧线程，说明为什么 if ... then ... else ... 被作为 Haskell 中的关键字包含在内。）

我的 IDE 在 Leksah 中，并且，如果可以删除关键字，如果有一个设置可以将 if ... then ... else ... 关键字更改回正常的字体/颜色/非粗体，那就太好了。

---

我已经尝试过将 if' 命名为 if 等。它感觉不太好，特别是当我想定义if和if'，并且必须定义if'< /code> 和 if'' 代替，或者 if1 和 if2。 if' 和 if 的存在也可能会造成混淆。 （在我的情况下，混乱并不是那么严重的问题，因为 DSL 的用户是 Haskell 程序员，但我认为它在其他情况下可以有所帮助）。

---

总结迄今为止的响应：

• 使用 GHC 的 RebindableSyntax 扩展。不像删除关键字那么普遍：Haskell 的 if-then-else 语法被保留。 (Frerich Raabe)
• 解决方法：通过使用 data Conditional ba = If b (Then a) (Else a) 使用非常相似的单词/名称（仅适用于某些上下文）。 (CA McCann)

如果 RebindableSyntax 是一个相对较新的功能，那么它不太可能找到更通用的方法，至少在下一个版本的 GHC 之前不会。

Answer 1

RebindableSyntax 扩展to GHC 允许您使用自己的版本重载 if ... then ... else 表达式。特别是，ifThenElse 函数用于定义替代含义。 if e1 then e2 else e3" 表示 ifThenElse e1 e2 e3。

请参阅博客文章 可重新绑定 if..then..else 表达式 对此功能进行了很好的讨论，包括一些例子。

Answer 2

您无法删除现有关键字。正如所指出的，您可以使用 RebindableSyntax，但这可能无法达到您想要的效果。

唯一接近删除关键字的方法是打开 CPP 选项并执行类似

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

预处理器将 if/then/else 扩展为 if_/then_/else_ 的操作。

Answer 3

怎么样：

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