Не допускайте потери неоднозначности

[deniok]

Часто парсеры пишут в виде, допускающем разбор неоднозначных грамматик

newtype Parser a = Parser { apply :: String -> [(a, String)] }

(Тип apply это не что иное, как стандартный ReadS.) Однако, начав таким образом, лучше быть консистентным, поддерживая эту возможность повсюду, например

parse :: Parser a -> String -> [a]
parse p = map fst . filter (null . snd) . apply p

Сделайте приведенный выше парсер представителем Applicative и Alternative, так чтобы обеспечить следующее поведение

> twoChars x = (\a b -> [a,b]) <$> char x <*> char x
> threeChars x = (\a b c -> [a,b,c]) <$> char x <*> char x <*> char x
> parse (some (twoChars '7') <|> some (threeChars '7')) "777777"
[["77","77","77"],["777","777"]]

(Парсер char, конечно, еще потребуется, но тут, надеюсь, все справятся.)

Comments

[sassa-nf.livejournal.com]

instance Applicative Parser where
  pure a = Parser $ \s -> [(a, s)]
  (Parser ps) <*> (Parser qs) = Parser $ \s -> [ (f a, t)
                                               | (f, s') <- ps s
                                               , (a,t) <- qs s'
                                               ]

instance Alternative Parser where
  empty = Parser $ const []
  (Parser ps) <|> (Parser qs) = Parser $ (++) <$> ps <*> qs

[deni-ok.livejournal.com]

Ага, верно.
Спрячу на недельку, чтобы студенты не подглядели.

[kurilka.livejournal.com]

Денис, а какова судьба продолжения курса на stepic?

[deni-ok.livejournal.com]

Февраль ориентировочно. Видишь, задачки придумываем)

[kurilka.livejournal.com]

Супер

[voidex.livejournal.com]

О, круто!