我习惯于在其他语言中使用 % 来表示“模”。在 Haskell 中，我们必须使用 mod x y 或 x `mod` y。那么，这个符号在 Haskell 中是用来做什么的呢？
【问题讨论】：
Data.Ratio，见这里：hackage.haskell.org/package/base-4.12.0.0/docs/…（当然，除非在另一个库中有%的另一个定义，这是完全可能的。）
在“Old School” Davies Introduction to Functional Programming Systems Using Haskell中找到了这个。 （他经常将 Haskell 与 Pascal 进行比较。）这是对堆栈算法的模拟
type Stack = [Float]
push :: Float -> Stack -> Stack
push x stack = x : stack
addStack :: Stack -> Stack
addStack (x:y:stack) = (y + x) : stack
subtStack :: Stack -> Stack
subtStack (x:y:stack) = (y - x) : stack
multStack :: Stack -> Stack
multStack (x:y:stack) = (y * x) : stack
divStack :: Stack -> Stack
divStack (x:y:stack) = (y / x) : stack
emptyStack :: Stack
emptyStack = []
popStack :: Stack -> (Float, Stack)
popStack (top:rest) = (top,rest)
然后
let f % g = g . f
actionsOn = push 12.2 %
push 7.1 %
push 6.7 %
divStack %
push 4.3 %
subtStack %
multStack %
push 2.2 %
addStack
in popStack (actionsOn emptyStack)
(-37.331642,[])
这只是一个看起来很疯狂的嵌套函数的简洁版本
popStack (addStack (push 2.2 (multStack (subtStack (push 4.3 (divStack (push 6.7 (push 7.1 (push 12.2 emptyStack)))))))))
它本身避免为每个堆栈操作创建和传递一个新堆栈。总而言之，YAMAMOTO Yuji 一开始所说的在这里适用，而不是任何Ratio AFAIK 的东西。
【讨论】：
快速查看Hoogle，您可以看到% 是一个定义为的中缀函数
(%) :: Integral a => a -> a -> Ratio a
你可以猜到它是Data.Ratio 库的一部分，主要处理比率（即：分数）。它是代码
x % y = reduce (x * signum y) (abs y)
因此给定两个积分 (x,y) ，它返回一个不可约分数 x/y
【讨论】：
:t % 无济于事
% 是Data.Ratio 库的一部分，所以在你可以在GHCi 中使用它之前——包括:t，你需要通过import Data.Ratio 导入它。然后你可以看到类型。还请记住，您可以使用:info，它有时会为您提供更多信息，而不仅仅是:t
在 Haskell 中，我们可以像普通函数一样使用各种符号（包括%）定义二元运算符，因此您可以将% 定义为您想要的任意运算符（在您定义它的模块中）。
作为最典型的情况，% 被Data.Ratio module 提供为Ratio 类型的构造函数。
在 GHCi 上尝试以下代码以确保 % 由 Data.Ratio 提供：
ghci> 3 % 9
<interactive>:1:3: error:
Variable not in scope: (%) :: Integer -> Integer -> t
ghci> import Data.Ratio
ghci> 3 % 9
1 % 3
请记住，您可以在这些搜索引擎中搜索此类运算符和函数：
其实我查过%是如何被Hoogle定义的。
% 是一个中缀函数，定义为
(%) :: Integral a => a -> a -> Ratio a
从上面的类型定义中，您可以看到它是Data.Ratio 库的一部分，主要处理比率（即：分数）。它的代码是
x % y = reduce (x * signum y) (abs y)
因此给定两个积分 (x,y) ，它返回一个不可约分数 x/y
【讨论】：
Data.Ratio 使用% 作为构造函数，但除非该类型是在Integral 类型类之前定义的，否则它不能解释为什么% 可以供@ 使用987654327@。 （当然，合格的导入允许您在多个模块中使用相同的运算符名称，因此无论哪种方式，Data.Ratio 使用% 都不是真正的原因。）
但是请注意，Integral 定义了 both mod and rem functions。我怀疑% 被故意排除在Integral 之外，都是为了避免1）选择它是否应该是mod 或rem 的别名，以及2）让人们记住哪个选择制作完成。
另外，languages use different definitions for %，所以(%) = mod 或(%) = rem 都有可能让某人感到困惑。
【讨论】：
q * n + r = m。
% 是 Haskell mod，我相信。
mod 使用“欧几里得风格”，PureScript 也是如此（它曾经使用 Knuth 风格，但已切换）。
Searching for (%) on Stackage Hoogle，看来Data.Ratio 将% 运算符定义为从分子和分母构造Ratio 值。一个 GHCi 示例：
Prelude> :m + Data.Ratio
Prelude Data.Ratio> let x = 1 % 2
Prelude Data.Ratio> x
1 % 2
Prelude Data.Ratio> :t x
x :: Integral a => Ratio a
【讨论】：