По какой причине parse это String -> [(a, String)], а не String

Question

По какой причине parse это String -> [(a, String)], а не String

-> Maybe (a, String)
(там, где newtype)?
Все генераторы парсеров ниже в статье возвращают всегда список с 1 элементом
http://dev.stephendiehl.com/fun/002_parsers.html

#haskell #programming #russian

0

01.02.2021

9 ответов

33 просмотра

Zygohistomorphic Prepromorphism🇺🇦

any m StateT String {Maybe, [], Either String, ...} a

0

01.02.2021

A64m AL256m qn<cores> I0

1) можно сделать парсер, который возвращает не один элемент 2) в стародавние времена когда это придумали - это было чтоб лист компрехеншоны можно было использовать

0

01.02.2021

Wsevolod Автор вопроса

A64m AL256m qn<cores> I0
1) можно сделать парсер, который возвращает не оди...

В 1 было бы Maybe ([a], String)

0

01.02.2021

Ilya Kos

A64m AL256m qn<cores> I0
1) можно сделать парсер, который возвращает не оди...

То есть backtracking тут не при чем?

0

01.02.2021

A64m AL256m qn<cores> I0

Wsevolod
В 1 было бы Maybe ([a], String)

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

0

01.02.2021

A64m AL256m qn<cores> I0

Ilya Kos
То есть backtracking тут не при чем?

для бектракинга надо чтоб String был списком или с быстрой операцией взятия подстроки

0

01.02.2021

Wsevolod Автор вопроса

A64m AL256m qn<cores> I0
речь не про возвращение нескольких распаршенных ре...

Понял

0

01.02.2021

кана

оба варианта это два примитивных наивных варианта написания парсеров, один с бектрекингом, второй без. Первый на каждом шаге парсинга может разветвляться наверное можно даже сделать настраиваемый парсер, где на тайплевеле передается флаг бектрекинга, и подставляется нужный функтор, а код будет просто для любой монады

0

01.02.2021

Ilya Kos · Accepted Answer

Ilya Kos

Подозреваю, это чтобы поддерживать backtracking

0

01.02.2021

169 похожих чатов

По какой причине parse это String -> [(a, String)], а не String

9 ответов

Похожие вопросы