Haskell：将Bool视为Int

Question

如何实现一个以int开头的函数，并且每次从它中减去1（通过有限数量的可能性），其中一个（例如，5个）布尔值返回1。

理想情况下看起来如何：

function list1 list2 = num
  where
      num = 4
          - (condition from var1 = true)
          - (condition from var2 = true)
          - (so on, so forth as long as needed)

我尝试过类似的实现这些行：

      num = startVal
          - (list1conditional == desiredVal)
          - (etc)

但这是返回类型错误。

Answer 1

Bool是Enum一个实例：你可以枚举Bool的两个值： False ，然后是True 。

其结果是，它实现了fromEnum :: Enum a => a -> Int ，一个映射的值的函数Enum类型的Int ：用于Bool ，它映射False到0 ，并True至1 。

所以我们可以这样使用：

result = 5 - fromEnum cond1 - fromEnum cond2

或者例如条件列表：

result = 5 - sum (map fromEnum [cond1, cond2, cond3])

其中cond1和cond2等是Bool类型的表达式。