ну по пустой строке можно разбить

По строке, начинающейся с #

# - это коменты

они не обязатеьны

даже так

не по пустой строке

Это начало секции. Дальше парсишь до двух newline

It's a simple list of key/value pairs, with the dsn, driver_dsn or key keys being used to split successive entries

начало секции dsn или driver_dsn

еще вон key бывает

отдельно стоящий

В итоге получишь список списков настроек по секциям.

Ну, может быть, я файл мельком посмотрел.

Интересно, что этот parsec вообще никакой защиты от зацикливания не имеет. Одно неверное движение и комп уходит в глубокий DOS...

буду сегодня с этим играться

Ресет только помогает

я вчера часто натыкался на ошибку

оно мне писало что many принимает пустую строку

Exception вылетал

оно мне писало что many принимает пустую строку

Верно, поэтому я и отказался от этой функции.

И использовал вместо нее manyTill. Она более демократичная и согласна вернуть ""

Ну и вообще старался поменьше обращаться, собственно, к парсеку, а все делал через комбинаторы.

Раз уж ты с ними связался :)

не очень понял это утверждение:)

Комбинаторы же тоже в parsec

Я так понял, это два модуля в одном пакете, потому и часть функций реимплементирована.

ну да

там пакет Prim - в нем many

И они не совсем совместимы...

а Combinator - в нем manyTill

В парсеке есть замечательная функция endOfLine, а в комбинаторах ее нет. Почему-то. Писать свою ох как не хотелось!

Поэтому использовал то, что было у тебя. Тем более, что этим путем все идут, похоже.

Кстати, задачу можно решить без Control.Monad, но код красивее точно не станет. Я теоретически прикинул, сколько придется оберток сделать для типов и забил на этот вариант

да Control.Monad то не мешает особо

Если еще подключить templateHaskell, можно и синтаксис покрасивее сделать :)

мне пока рановато :)

Но это уже из области эстетики

я do убрал из твоего кода

он отлично выглядит:)

Ну и хорошо. Я давно хотел в парсеке разобраться, а то с парсерами только в Эрланге раньше имел дело. Приятная штука :) но замороченная

ну я думаю на таких маленбких обьемах

типа разбить на линии - она кажется замороченной

но нормальных форматах

будет очень круто выглядеть все

в RWH классно выглядит

А ты для плюсов попробуй САМ парсер написать. Проклянешь все на свете, я думаю :)

Parsec.Extra

на stackege нету судя по всему

:(

первый раз воспользовался stack solver

приятная штука

parseTDB = parse tdbfile "invalid file format" tdbfile = manyTill myLine eof myLine = manyTill anyToken (eol <|> eof)

вот что получилось

Без try работает??

это в RWH плохой eol был

а почему нет?

там же eol нормально сделан внутри

у нас же try был в eol

Так эта книжка, говорят, устарела уже сильнл

А, ну да.

ну а почем учиться?:)

но да

там беда

половину пример не компилится

я читаю главы

и что-то свое делаю

Я вчера на хакадже сидел, штудировал первоисточник.

ERROR: S client not available

Сказывается эрланговское прошлое :)

сорцы всмысле?

Не, до туда не добрался. :)

Только документацию к парсеку

eol с try красивее выглядит eol :: GenParser Char state () eol = (char '\n' <|> (char '\r' >> option '\n' (char '\n'))) >> return ()

но try вроде не советуют использовать

Она, к слову, неплоха, но не хватает ей вводной статьи что ли...

а какую доку ты читал?

как вводную статью может вот это прочтешь? http://www.cs.uwyo.edu/~jlc/courses/3015/parser_pearl.pdf

а какую доку ты читал?

https://hackage.haskell.org/package/parsec-3.1.11/docs/Text-ParserCombinators-Parsec-Combinator.html

ну тут я тоже сидел

и согласен про вводую статью

мне еще не нравятся варнинг компилятора про то что тип не выведен

я над parseTBD вывел

но зачем мне этим занимать над всем остальным

Я, кстати, не смог для остальных функций вывести тип. Эта сволочь меня нехорошими словами обзывать начинала, мол не знает таких типов и вообще, шел бы я куда подальше. Видать, не дорос я еще до дзена :)

причем я даже скрыл функции, а он все равно ругается

если бы тот тип увидел

я в виме вывел плагином его

тоже не смог руками

--tdbfile :: Text.Parsec.Prim.ParsecT [Char] u Data.Functor.Identity.Identity [[Char]] tdbfile = myLine manyTill eof --myLine :: Text.Parsec.Prim.ParsecT [Char] u Data.Functor.Identity.Identity [Char] myLine = anyToken manyTill (eol <|> eof)

вот

я их закментил

потому что там еще на импортить надо ведро всего

для этих типов

Вот, типы эти же я и через ghci :t вывел. А он меня обозвал.

я через GhcMod ывел

и норм

То ли типы другие надо указывать, то ли я чего-то не понимаю

а хотя я не импортил

я заимпортил

но пишет что такого найти не может