Haskell 类型`forall a . (Num a, Integral a) => a` 用于多种类型的整数常量

Question

在 Haskell 中编写 FFI 代码时，我经常将 Int 和 CInt 变量混合在一起。我尝试定义一个新类型Intlike 来帮助定义可以表示为任一类型值的常量，如下所示：

type Intlike = forall a . (Num a, Integral a) => a
floatSize :: Intlike = fromIntegral $ sizeOf (1 :: CFloat)

然后GHCi这样抱怨：

Fractal.hs:276:24-35: No instance for (Num Intlike) arising from \
                                         a use of ‘fromIntegral’ …
    In the expression: fromIntegral
    In the expression: fromIntegral $ sizeOf (1 :: CFloat)
    In a pattern binding:
      floatSize :: Intlike = fromIntegral $ sizeOf (1 :: CFloat)
Compilation failed.

（这是Rank2Types 语言扩展。）

但是，以下方法有效：

floatSize :: (Num a, Integral a) => a
floatSize = fromIntegral $ sizeOf (1 :: CFloat)

有没有让我一直写fromIntegral 的好解决方案？ Intlike 和有效的有什么区别？它们看起来很相似。

Answer 1

我不能告诉你为什么，但如果你写

floatSize :: Intlike
floatSize = fromIntegral $ sizeOf (1 :: CFloat)

然后它工作得很好。一种可能性是模式变量上的类型注释正在做一些你所期望的事情（我从来没有真正理解过那些做什么）。请注意，您的Num 上下文是多余的，因为Integral 是Num 的子类。至于fromIntegral，几乎任何时候你都需要在整数类型之间切换。另一种选择是使用“通用”函数来满足您的需求。例如，您可以定义

import Foreign.Storable (sizeOf, Storable)

genericSizeOf :: (Storable a, Integral b) => a -> b
genericSizeOf = fromIntegral . sizeOf

旁注：当使用像sizeOf 这样的函数只接受其类型的参数时，我个人更喜欢使用undefined 而不是任意值。所以我会写sizeOf (undefined::CInt)而不是sizeof (1::CInt)。这清楚地表明我传递的值无关紧要，并减少了“这是什么 1？如果我将其更改为 2 会发生什么？”的心理混乱

---

在下面的 cmets 中，Boyd Stephen Smith, Jr. 提到了另一种显然是首选的方法，尽管我还没有阅读过它。