如何定义符合Integral a => a类型签名的Haskell函数？

嘿，刚学Haskell遇到这个问题太正常了，我来给你掰扯清楚！

首先咱们拆解下这个类型签名f1 :: Integral a => a的含义：它不是带参数的函数，而是一个多态值——这个值必须能适配所有属于Integral类型类的实例，比如Int、Integer，甚至你自己定义的Integral类型都得能用上它。

为什么带参版本没问题？ #

你之前写的f1 :: Integral a => a -> a; f1 k = k mod k能正常工作，是因为它的逻辑对任意Integral类型的输入k都成立：不管k是Int还是Integer，k mod k的结果都是0，而且返回值类型和输入的k严格一致，完全符合多态要求。

无参版本的核心要求 #

无参的Integral a => a必须满足参数化多态的限制：这个值得是所有Integral类型实例都能共享的「通用值」，不能依赖某个特定类型的独有特性。

合法的无参实现示例 #

这里给你几个能正常编译的例子：

• 最简单的多态常量：

  f1 :: Integral a => a
  f1 = 0
  

  0是所有Num类型（包括Integral子类）都支持的多态值，完全符合要求。
• 用Integral/Num的操作组合出多态值：

  f1 :: Integral a => a
  f1 = 1 + 3 * 2  -- 结果是7，所有Integral类型都能表示
  

  f1 :: Integral a => a
  f1 = (10 `div` 3) * 3  -- 结果是9，对任意Integral类型都成立
  

哪些写法会报错？ #

比如你要是写：

f1 :: Integral a => a
f1 = 5 :: Int  -- 错误！只能返回Int，不符合多态要求

或者尝试用依赖特定类型的函数：

f1 :: Integral a => a
f1 = maxBound  -- 错误！maxBound是类型特定的（Int和Integer的maxBound不一样）

这些写法都违反了「适配所有Integral类型」的要求，所以编译器会报错。

总结一下：无参的多态Integral值，本质上得是一个能在任意Integral类型下都合法的表达式，不能绑定到某个具体类型的特定值。

内容的提问来源于stack exchange，提问作者Endre555