使用整数和 int 的 Haskell 类型说明符问题

Question

我在源文件中有以下 Haskell 定义

nNotes=7

pitchLimit k = k < 0 || k > 20  
pitcherror = error "Invalid Pitch"

getOctave k
    | pitchLimit k = pitcherror
    | otherwise = k `div` nNotes

我没有声明getOctave 的类型。现在这是我关于类型的问题。后来在同一个源文件中，我使用了getOctave 和Int。我将源文件加载到 GHCI 中，Haskell 推断getOctave 的类型是Int->Int。现在我注释掉使用getOctave 作为Int 的代码。我重新加载源文件，现在 Haskell 推断 getOctave 的类型为 Integer->Integer。现在在我看来div 的默认值是Integer->Integer。现在我取消注释该代码并将getOctave 的类型指定为(Integral a) => a ->a。 Haskell 报错。使用(Integral a) => a -> a 有什么问题。

Answer 1

当您使用像 7 这样的字面量时，GHC 会尝试猜测您的意思是哪种类型。您可以使用.hs 文件（除了module 声明）仅包含此文件

nNotes = 7

这会给你编译器警告：

* Defaulting the following constraint to type `Integer'
    Num t0 arising from the literal `7'
* In the expression: 7
  In an equation for `nNotes': nNotes = 7

从那里，编译器将推断所有其他类型。

您可以通过使用类型显式注释 nNotes 来概括您的代码，如下所示：

nNotes :: Num a => a
nNotes = 7

一旦你这样做了，你的函数就会得到这些自动推断的类型：

λ: :type pitchLimit
pitchLimit :: (Ord a, Num a) => a -> Bool
λ: :type getOctave
getOctave :: Integral t => t -> t

如您所见，getOctave 可以接受任何Integral 作为输入，包括Integer 和Int。

getOctave 推断t 属于Integral 类的原因是因为div 是为Integral 定义的。

Answer 2

我认为这里的问题是您还必须将 nNotes 声明为 nNotes :: Integral a => a 类型。