在 haskell 中，负数来自使用一元运算符 '-'在数字前面，但减法函数也使用 '-' .所以当你输入 :t (-)在 ghci 中，您只能得到减法函数类型的结果，例如
:t (-)
(-) :: Num a => a -> a -> a
但是是否有可能在 ghci 中获得“否定运算符”的类型？我知道这是微不足道的，但我很好奇。
最佳答案
你可以扩展它:
Prelude> :t \x -> -x
\x -> -x :: Num a => a -> a
关于haskell - 如何在haskell中获取一元运算符 '-'的类型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/22438095/