实现解析器函子

为 Brent Yorgey 的 2013 年 UPenn 工作class家庭作业，如下newtype exists:

newtype Parser a = Parser { runParser :: String -> Maybe (a, String) }

我正在尝试实施Parser as a Functor.

鉴于以下情况first函数来帮助解决这个问题：

first :: (a -> b) -> (a, c) -> (b, c)
first f (a, c) = (f a, c) 

我尝试了以下方法：

instance Functor (Parser) where
  fmap g (Parser f)  = Parser $ fmap (first g) (f . g)

然而，这是行不通的。

我认为，f的类型是String -> Maybe (a, String)。所以，我不知道如何apply a String to f为了得到Maybe (a, String).

一旦我得到一个Maybe (a, String)，我相信我可以简单地运行fmap (first g) ... where ...代表Maybe.

请给我一个提示，以了解如何获得Maybe (a, String).

Since f欠一个String给出一种类型Maybe (a, String)，我不知道在哪里可以找到String争论。

你做得很好。

如果我只做一个类型同义词可能会更清楚

type M a = Maybe (a,String)

你说得对，你可以使用

fmap (first g) :: Maybe (a, String) -> Maybe (b,String)
--             :: M a -> M b

并将其与

f :: String -> Maybe (a,String)
--   String -> M a

你只需要作曲String -> M a with M a -> M b to get String -> M b:

instance Functor (Parser) where
  fmap g (Parser f)  = Parser $ fmap (first g) . f

您询问是否可以从某处获取字符串。 Lambda 会为你做到这一点：\xs ->可以读作“给我一个字符串xs...”，您可以申请f到该字符串以获取某种类型Maybe (a,String)。所以你也可以写：

instance Functor (Parser) where
  fmap g (Parser f)  = Parser $ \xs -> fmap (first g) (f xs)