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

[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

[deni-ok.livejournal.com]

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

[kurilka.livejournal.com]

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

[deni-ok.livejournal.com]

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

[kurilka.livejournal.com]

Супер

[voidex.livejournal.com]

О, круто!