Haskell如何编写某一参数类型固定、返回值随另一参数变化的多态函数

你遇到的类型报错核心原因是标准mod函数的类型为Integral a => a -> a -> a，要求两个输入参数和返回值必须为相同的Integral实例类型。你写的代码中第二个参数固定为Int，当第一个参数的类型为其他Integral实例（比如Integer）时，就会触发类型不匹配的错误。

解决方法 #

你可以借助fromIntegral工具函数将第二个Int类型的参数转换为和第一个参数相同的Integral类型，即可满足要求，实现代码如下：

f :: Integral a => a -> Int -> a
f n m = mod n (fromIntegral m)

补充说明 #

fromIntegral的类型为(Integral i, Num n) => i -> n，可以将任意Integral类型的值转换为任意Num类型的值，刚好适配你需要把固定的Int参数适配为第一个参数对应类型的场景。这个实现天然支持所有Integral实例作为第一个入参，不需要单独定义多个不同类型的重载函数。
注意：如果你的Int参数取值超出了第一个参数对应类型的取值范围，fromIntegral会出现数值溢出的环绕行为，如果你需要安全转换可以结合toIntegralSized做边界校验，常规业务场景下上述实现已经足够。

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