haskell - 如何在 Haskell 中将自定义类型转换为整数？

Question

我正在尝试在 haskell 中使用我自己的数据类型作为素数，但我目前遇到了一些问题。

newtype Prime = Prime Integer deriving (Eq, Ord, Typeable, Show)

一旦我对素数进行任何数字运算（例如下面的“phi”函数），我想将结果作为整数处理，但我不知道该怎么做。

phi :: Prime -> Prime -> Integer
phi p q = (p-1)*(q-1)

phi 应该返回一个整数，因为它不再是质数。我得到的只是预期的错误消息：

    • Couldn't match expected type ‘Integer’ with actual type ‘Prime’
    • In the expression: (p - 1) * (q - 1)
      In an equation for ‘genPhi’: genPhi p q = (p - 1) * (q - 1)

那么如何将我的自定义类型转换为整数？我对 Haskell 没有太多经验。

标签： haskellfunctional-programmingalgebraic-data-typescustom-data-typederivingvia

Answer 1

您可以解开Integer数据Prime构造函数：

genPhi :: Prime -> Prime -> Integer
genPhi (Prime p) (Prime q) = (p-1) * (q-1)