так ведь распарсить С++ без половины компилятора невозможно

можно поофтопить? когда там следующий FProg SPb?

вроде как в июне не будет, а в июле будет на ITGM

я там спрашивал

Нашел гайд по мегапарсеку

http://akashagrawal.me/beginners-guide-to-megaparsec/

Я так понимаю, он уже устарел?

Ибо у меня вообще не компилится

Код оттуда

Ой

Не то

http://akashagrawal.me/beginners-guide-to-megaparsec/

Принципиально там ничего не менялось с тех пор.

https://markkarpov.com/learn-haskell.html#megaparsec-tutorials тут рекомендуемые автором мегапарсека туториалы

Может что-то из этого будет работать :) Хотя там статьи ещё более старые судя по датам публикации

> The tutorials here have been updated to be used with Megaparsec 6

Вот это говорит нам, что материал должен быть плюс-минус актуальным

Подскажи пожалуйста, как обьявить тип Parser чтобы первый пример заработал?

https://hackage.haskell.org/package/megaparsec-6.5.0/docs/Text-Megaparsec.html

Прямо в начале доки

Parser Void Char видимо

Действительно

Спасибо:)

👍

cls :: Parser String cls = do many letterChar char '(' name <- many alphaNumChar

Джентельмены, подскажите в чем ошибка

The last statement in a 'do' block must be an expression name <- many alphaNumChar

убери name <-

Последняя строка должна быть без var <-

зачем тебе это имя в любом случае?

можно дописать return name в конце, но в этом все равно нет смысла

Мне нужно чтобы эта функция вернула то что запарсит последняя строка

Как это сделать?

А что за парсер такой с непарной скобкой?

cls :: Parser String cls = do many letterChar char '(' many alphaNumChar

А что за парсер такой с непарной скобкой?

Это промежуточная функция

Это промежуточная функция

может всё-таки взять готовый парсер плюсов?

А есть?

ну сходу нашлись биндинги к клангу (http://hackage.haskell.org/package/LibClang) и чьё-то самописное на парсеке (https://hackage.haskell.org/package/cparsing)

тебе прям нужно полноценно C++ парсить и рефакторить, или всё же задача проще?

Да, мне нужно транслировать много старого кода в новый

в чём трансляция заключается?

Есть десятки тысяч строк кода месседжей. Случился рефакторинг и теперь они должны выглядеть иначе.

Было два пути

Либо всех их менять руками

Что больно, либо написать скрипт

Я решил писать на хаскеле, потому что хочется:)

для простого рефакторинга не обязательно прям разбирать код по-настоящему, конечно

так что те пакеты может и оверхед

У нас очень специфичный препроцессор

Думаю лучше будет распарсить руками

головой

Сори за глупый вопрос

Как из IO string сделать String

Я просто в ghci гружу из файла

в ghci a :: IO String при печати будет выведено как есть

> a <- return "bla" :: IO String > a bla

как-то так

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

А

Я понял

👍

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

fmap

Да

Я уж понял:)

Спасибо

ну можно и fmap, но понятнее наверное к имени привязать

У меня такая фукнция

parseTest enum str

str это IO String

Где писать fmap

Перед parseTest

parseTest enum <$> str

fmap (parseTest enum) str

или как выше ^

или s <- str parseTest enum s

хоть мы и в хаскельном чате, а не в каком-то другом, все равно explicit is better than implicit

по крайней мере в обучении

Парни

Спасибо

хоть мы и в хаскельном чате, а не в каком-то другом, все равно explicit is better than implicit

Здесь нет дихотомии explicit / implicit