Haskell新手求助：isDivisor函数运行报错问题排查

1. 第一个缩进错误的原因 #

初始代码里函数定义行isDivisor a b =额外缩进了，Haskell对缩进规则要求严格，类型签名isDivisor :: Int -> Int -> Bool和函数定义的首行必须左对齐。编译器误把缩进的函数名当成了类型签名的一部分，导致语法解析混乱，抛出类型匹配错误。

2. 第二个%运算符的错误 #

Haskell中的%是Fractional类型类的运算符，作用是创建分数值（比如3 % 2会生成分数3/2），并非整数取模的运算符。Int类型属于整数类型，不能使用%做取模运算，因此编译器提示该运算符不在当前作用域中。

3. 第三个mod调用的错误 #

Haskell的函数调用默认是前缀式，比如mod b a表示将b和a作为参数传入mod函数。如果想写成自然的中缀形式，必须把函数名用反引号`包裹，也就是b `mod` a。你写的b mod a会被编译器错误解析为：把mod和a作为参数传给变量b，但b是Int类型（不是函数），因此抛出“函数b被应用了两个参数，但它的类型Int不接受参数”的错误。

正确的实现代码 #

中缀写法（更符合数学表达习惯）

isDivisor :: Int -> Int -> Bool
isDivisor a b = b `mod` a == 0

前缀写法

isDivisor :: Int -> Int -> Bool
isDivisor a b = mod b a == 0

补充：处理除数为0的情况

如果需要避免a=0时的运行时错误，可以添加边界判断：

isDivisor :: Int -> Int -> Bool
isDivisor 0 _ = False  -- 0不能作为除数，直接返回False
isDivisor a b = b `mod` a == 0

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