如何在Haskell中获取一元运算符“-”的类型

Question

在Haskell中，负数是通过在数字前使用一元运算符'-'来表示的，但减法函数也使用'-'。所以当你在ghci中输入:t (-)时，你只能得到减法函数类型的结果，类似于

:t (-)
(-) :: Num a => a -> a -> a

但是在ghci中是否可以获得“否定运算符”的类型？我知道这很微不足道，但我很好奇。

- richard.g

---

一元运算符“-”实际上并不是一个真正的运算符，而是一个完全特殊的情况：它是“negate”的语法糖。 - leftaroundabout

@leftaroundabout 是的，我知道。我只是泛指它，因为它是一个非字母符号。 - richard.g

Answer 1

你可以扩展它：

Prelude> :t \x -> -x
\x -> -x :: Num a => a -> a

- J. Abrahamson