Question

If I use the + operator, Haskell automatically infers the type class Num:

> let add x y = x + y
> :t add
add :: Num a => a -> a -> a

这是否意味着我不能有多个类型的班级,有<条码>+的操作者?

Answer 1

您可以在同一模块中设置多个类别,界定<代码>+(同样适用于任何其他课程名称,而不仅仅是<代码>+)。

如果您进口界定<代码>+<>>>>>+的多种模块(无论是否属于一类),则在进口除其中一种外的所有单元时,你要么需要隐藏<代码>+<>>>>>>>>>>>>>> 。

Answer 2

请注意,<代码>+不是operator<>em>,因为它是Function>的,因此无法确定位置。这意味着它遵守与所有其他职能相同的范围规则,以及同类型相同的行为。

具体来说,一类功能界定了各种类型的多变功能,即特定类别。因此,将<代码>Num定义为:

class (Eq a, Show a) => Num a where (+) :: a -> a -> a (*) :: a -> a -> a (-) :: a -> a -> a negate :: a -> a abs :: a -> a signum :: a -> a fromInteger :: Integer -> a

我们可以得出结论,在范围中包含<代码>Num定义的任何东西,如无限制或排除<代码>的任何进口<代码>。 Num——该功能范围已有一个定义:<代码>(+);该功能是带有类型签名的普通功能<代码>a -> a-> a, and a syntactic food trends to be taken infix, so that You d written x + y und +x y 。

具体来说,这意味着,正如你能够打上<代码>fmap<>/code>一样,按类别(<代码>Functor)和以其他类型类别界定的职能,你也可以用<代码>+<>/代码”来界定。

If you do want to define it elsewhere, you can always import the corresponding module qualified — however, the non-alphabetic function names that default to infix also end up really clumsy when you import them qualified. You d end up writing things like 3 M.+ 4 instead of 3+4.

Answer 3

我认为,问题在于能否有多级经营者。比如,对类别工作有何误解。如果你想像病媒那样做一些事情,那么你可能想寻求扩大家庭类型,因为这些论点有不同的类型:

(.*) :: VectorSpace v => Scalar v -> v -> v

采用这种办法的图书馆见vector-space。

Answer 4

您可以有多个类型的班级,有<代码>+的操作者,这只是。 Num类产品通过Prelude间接进口。加上语文的延长

{-# LANGUAGE NoImplicitPrelude #-}

或增加一行

import Prelude hiding ((+))

如果您希望有<条码>+,包括两种类别,如<条码>Num和<条码>A,则您可设立一新类别,以概括两者,

import Prelude hiding (id, (.), (+))
import qualified Prelude
import qualified A

class GeneralPlus a where (+) :: a -> a -> a
instance Num a => GeneralPlus a where (+) = (Prelude.+)
instance A a => GeneralPlus a where (+) = (A.+)

友情链接