то что выше это мне GHC вывел

GHCMod

а вон я ниже написал

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

я SO увидел в коде:)

сам не поверил

Сейчас бы еще объяснение, почему так выходит.

Какая-то маскировка типов?

это может @qnikst нам поможет:)

А что?

вот код

--pDSN :: Text.Parsec.Prim.ParsecT String () Data.Functor.Identity.Identity ([Char], [Char]) pDSN :: Parser (String, String) pDSN = do string "dsn" equalsSign string "dbi:" dbType <- many (noneOf ":") char ':' --dbInfo <- pDBInfo return (dbType, "")

закоментированная строка первая

тип который GhcMod вывел

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

и то и то компилится

мы с @DenisLebedev не понимаем как так это просходит:)

А что не так? Он парсект или какой там type раскрыл

Parser - это алиас на вот то что сверху?

А что не так? Он парсект или какой там type раскрыл

Фокус в том, что у меня с первым описанием типов не компилилось в ghci

и да, это тоже

А ошибка какая? Может что не импортировпно?

сейчас попробую

опять

Не импортированы модули Parsec были, использовались комбинаторы. Но ведь без явного указания типов все работало! И тип ghci выводил, а использовать его не давал.

Text.ParserCombinators.Parsec.Prim

Что-то такое было импортировано, с телефона сложно посмотреть.

Есть такая проблема

Вывести может, а явно написать нельзя

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

Хотя хз проблемы ли

и за импортить я его не могу

ну да

это они просто скрыли реализацию

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

а компилятор c -Wall

Ругался постоянно

Вывести может, а явно написать нельзя

Выводил бы уж тогда тоже через доступные типы...

Кстати, раз ты тут. Чем комбинаторы отличаются от обычного парсека и что лучше использовать для разбора всяких конфигов?

дак парсек же на комбинаторах сделан вроде

и помойму парсек идеален для парсинга конфиг файлов

я прям балдею

Выводил бы уж тогда тоже через доступные типы...

Ну он фулли qualified пишет в тпвуеом случае

Да, он хорош. Но я имел в виду модули Parsec и ParserCombinators из одного и того же пакета Parsec. Один и тот же алгоритм можно реализовать с помощью обоих модулей.

сам Parsec вроде просто 3 других модуля импортит

Prim

Char

Combinators

там может и есть какие функции

Они одно alias другого

Гхц ничего не угадывает

Что написали то и выводит

Или ругается на конфликт имен

а для AttoParsec есть документация? или надо в сорцах смотреть?

а для AttoParsec есть документация? или надо в сорцах смотреть?

На хакадже вполне вменяемая документация. Однако, пакет помечен как deprecated и последний коммит в исходниках был 6 месяцев назад.

На хакадже вполне вменяемая документация. Однако, пакет помечен как deprecated и последний коммит в исходниках был 6 месяцев назад.

где он помечен как deprecated?

На хакадже вполне вменяемая документация. Однако, пакет помечен как deprecated и последний коммит в исходниках был 6 месяцев назад.

и последний коммит 2 месяца назад был https://github.com/bos/attoparsec

где он помечен как deprecated?

На хакадже, а значит и в исходниках

На хакадже, а значит и в исходниках

https://hackage.haskell.org/package/attoparsec

нигде не вижу слова "deprecated"

и последний коммит 2 месяца назад был https://github.com/bos/attoparsec

Latest commit by hvr 6 months ago

Вот, что я вижу с телефона

https://hackage.haskell.org/package/attoparsec-0.13.0.2/docs/Data-Attoparsec.html

Latest commit by hvr 6 months ago

это наверно PR смерджили поздно

https://github.com/bos/attoparsec/commits/master

> Commits on Jun 30, 2016

ERROR: S client not available

Глюки гитхаба какие-то, наверное

да это не глюки

или ты не знал, что в коммите есть запись о дате, но это ровным счетом ничего не значит?

или ты не знал, что в коммите есть запись о дате, но это ровным счетом ничего не значит?

Заходя на главную страницу проекта на гитхабе я получаю недостоверную информацию. Если это не глюк, то я не знаю, как это еще назвать.

Блин, я всегда из Hoogle попадал на страницу доков

Только сейчас понял что пакеты на хэкэдже нажимаемы

Я на гитхабе сидел читал

Там некоторые пакеты и вправду Deprecated

Но есть указания чем пользовался вместо них

Так что все ок с либой

Там даже для ghc 8 задел есть

и тесты

я думаю что Брайн не оставит такую важную либу без поддержки

https://hackage.haskell.org/package/attoparsec-0.13.0.2/docs/Data-Attoparsec.html

Это про модуль же

под Data.AttoParsec есть куча сабмодулей

This module is deprecated. Use Data.Attoparsec.ByteString instead.

даже вон сказали куда идти

ахаха

это про модуль было

Есть же, например, polyparse, зачем вам parsec? Parsec проник во всн учебники, но это не значит, что он лучший, или что он стандарт.

Attoparsec /= parsec

Parsec я нашел в учебниках, ты прав

а вот AttoParsec - это про другое

совсем

а за PolyParsec спасибо

посмотрю

Indent. I use.. Tab – 157 ??????? 42% 4 spaces – 100 ???? 27% 2 spaces – 96 ???? 26% 1 space – 6 ▫️ 2% 3 spaces – 4 ▫️ 1% 5 or 6 or 7 spaces – 3 ▫️ 1% 8+ spaces – 3 ▫️ 1% 8 spaces – 2 ▫️ 1% ? 371 people voted so far.

Indent. I use.. Tab – 157 ??????? 42% 4 spaces – 100 ???? 27% 2 spaces – 96 ???? 26% 1 space – 6 ▫️ 2% 3 spaces – 4 ▫️ 1% 5 or 6 or 7 spaces – 3 ▫️ 1% 8+ spaces – 3 ▫️ 1% 8 spaces – 2 ▫️ 1% ? 371 people voted so far.

tabs, really?

А какие аргументы против?

во-первых, довольно часто уезжает индентация

например в objc

с которым я имел несчастье очень долго работать