數據2 ab = 2 ab的應用程序純函數是什么

Question

給定此類型：

data Two a b = Two a b deriving (Eq, Show)

適用的定義是什么。 我不能夠得到pure權利，沒有上添加約束a例如像Num a

instance (Num a, Monoid a) => Applicative (Two a) where
  pure b = Two 1 b
  Two f f' <*> Two a b = Two a (f' b)

Answer 1

沒有約束就不能擁有它。 您需要對a做點事情，並且需要能夠對該類型進行操作，您可以通過兩種方式：使用特定類型（例如， Int或抽象類型，需要一個typeclass實例）。

在這種情況下，想到的最一般的約束是Monoid ，它使您的實例與2元素元組相同：

instance Monoid a => Applicative ((,) a) where
    pure x = (mempty, x)
    (u, f) <*> (v, x) = (u `mappend` v, f x)