Haskell 模式匹配——如何使用常量变量

Question

理想情况下，我想写这样的东西:

myValue1 = 1 :: IntmyValue2 = 2 :: IntmyFunc :: Int -> BoolmyFunc myValue1 = TruemyFunc myValue2 = False

调用 myFunc myValue2 返回 True - 这不是我想要的。我知道为什么会这样，但有没有一种方法可以在 Haskell 中表达这一点，而无需诉诸 C 风格的 #define 语句？

Answer 1

好吧，Haskell 不会像这样统一名称。这些新的“myValue1”和“2”标识符是您要绑定(bind)的新变量。

最 Haskelly 的方法是使用强类型和模式匹配:

data Values
   = D1
   | D2

myFunc :: Values -> Bool
myFunc D1 = True
myFunc D2 = False

为您提供静态保证，只有“1”或“2”可以传递给 myFunc，适当的符号匹配，您甚至可以通过派生 Enum 来保留对整数的转换。