это одна из нормальных форм про которые говорилось выше

генератор генерит a+(b+c), это принтится как a+b+c и парсится как (a+b)+c). аст не равны буквально, упс

Значит претти принтер не учитывает ассоциативность

Значит претти принтер не учитывает ассоциативность

он то как раз учитывает и дропает скобки

Тогда в парсере ассоциативность неправильная

https://twitter.com/donsbot/status/996665301155631105

Я думал я один такой

тогда запринтуй и сравнивай строки )))

Тогда в парсере ассоциативность неправильная

генератор любое AST имеет право сгенерить, в том числе, которе парсер никогда не выдаст

Так какая у плюса ассоциативность?

вообще можно сделать, что-то типа формы при которой агрументы по возрастанию (чего-либо), и для + * тоже определить

тогда запринтуй и сравнивай строки )))

была мысля делать не генератор - принтер - парсер, а генератор - принтер - парсер - принтер. но тогда он же может ересь всякую выдавать, нет?

и приводить к этой форме

Так какая у плюса ассоциативность?

левая и отличная от умножения. но это же не влияет

сделать gen >>> print >>> parse >>> print в принципе можно

а в известном оффтопном семействе языков все операции мультиарные и такой проблемы не возникло бы ))))

возникло бы

я намекаю что можно сделать не бинарное дерево

левая и отличная от умножения. но это же не влияет

Значит преттипринтер неправильно расставляет скобки.

сделать gen >>> print >>> parse >>> print в принципе можно

принтер в первом проходе может налажать, парсер это схавает и на втором принте уже выдаст идентичный первому результат.

Значит преттипринтер неправильно расставляет скобки.

а+б+с скобки не нужны вообще

Только если сложение коммутативно

(ассоциативно)

Ассоциативно, да

Для флоатов это не так

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

в модели считаем что так

Тогда надо нормализовывать AST.

Руками переписывать a + (b + c) в (a+b)+c

например

как?

И сравнивать normalize (generatedAST) == parsedAST

Паттернматчить: norm (a :+: (b :+: c)) = (a :+: b) :+: c То есть код выше, конечно, невереннадо переписывать выражение пока не дойдйшь до фиксированной точки

Довольно морочно, можно ошибиться

Мне кажется, что проще расставлять скобки с учётом ассоциативности

а потом туда влетают правоассоциативные операторы...

Если генератор нагенерил a+(b+c) пусть так со скобками и генерит

Больше скобок!!!

Скобок нет в AST

только они там и есть

Операторы бинарные?

Значит есть

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

что означает девиз хаскела "Avoid Success at All Costs!"?

вот, наконец-то онтоп про сабж )))

что означает девиз хаскела "Avoid Success at All Costs!"?

"Избегать Успех Любой Ценой": возможно, некоторые вещи сделаны не самым (простым) коротким путем, зато, строгой сематики

и правда переписать чтоль всё на формы... ?

и унарные туда же, ибо нефиг

@Anacta А еще ранее широко известный в узких кругах afiskon написал небольшой популярный пост: https://eax.me/haskell-stm/

используйте, пожалуйста, хештег типа #статья #haskell #хаскел или что-то другое чтобы находить материал в бесконечном чате, благодарю за ссылку

@Anacta А еще ранее широко известный в узких кругах afiskon написал небольшой популярный пост: https://eax.me/haskell-stm/

Хах. Он же совсем скучным стал

Было интересно следить как он разбирается во всём

Даже подкаст слушал пока не осознал что довольно тупая прокастинация

Memento topic.

Даже подкаст слушал пока не осознал что довольно тупая прокастинация

ну да, без тренировки и прыгая с темы на тему скатился

есть установленные нормы как называть haskell на русском? а то столько хорошего материала и не попадают в часть ключевых слов, можно определить хештеги, ключевые слова чтобы поисковики лучше работали

эс

кю

эль

эль

https://t.me/haskellru/120120

Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может, кто-то отчёты по Зурихаку делал, накидайте, пожалуйста, ссылок почитать. Те, кто сейчас поедут, они с докладами, или потусоваться? Если с докладами, где можно посмотреть будет?

@qnikst ^

https://t.me/haskellru/120120

вот это прикол

но я сказал про аскёль

Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может, кто-то отчёты по Зурихаку делал, накидайте, пожалуйста, ссылок почитать. Те, кто сейчас поедут, они с докладами, или потусоваться? Если с докладами, где можно посмотреть будет?

Смысл есть. Как минимум можно будет попытаться закодить что-то посложнее и получить помощи на месте. Ну и потусоваться конечно, это тоже может оказаться важным.

используйте, пожалуйста, хештег типа #статья #haskell #хаскел или что-то другое чтобы находить материал в бесконечном чате, благодарю за ссылку

Все ссылки канала выгребаются в поиске по http/https а в некоторых клиентах доступны в отдельной вкладке. Для всего остального должен катить полнотекстовый поиск.

Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может, кто-то отчёты по Зурихаку делал, накидайте, пожалуйста, ссылок почитать. Те, кто сейчас поедут, они с докладами, или потусоваться? Если с докладами, где можно посмотреть будет?

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

докладов там не так много, вроде ни у кого из наших нету

вообще если проект есть, то круто, но это имхо не главнок

Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может, кто-то отчёты по Зурихаку делал, накидайте, пожалуйста, ссылок почитать. Те, кто сейчас поедут, они с докладами, или потусоваться? Если с докладами, где можно посмотреть будет?

доклады обычно выкладывают на Ютуб

докладов там не так много, вроде ни у кого из наших нету

доклады там регулярно бывают в рамках https://www.meetup.com/ru-RU/HaskellerZ/

@qnikst зачем надо cabal_chdeps?

фиксить кривые зависимости

и.е. если констрейнты криво прописаны, то через chdeps можно поправить

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

не понимаю зачем

у вас есть какой-нибудь CI для оверлея, чтобы проверять что все собирается?

не убирается, а обновляется на то что работает

если меинтейнер пакета апстрим сам этого не сделал

CI есть, но там меньше проверок что все билдится

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

т.е. или а или б

Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может, кто-то отчёты по Зурихаку делал, накидайте, пожалуйста, ссылок почитать. Те, кто сейчас поедут, они с докладами, или потусоваться? Если с докладами, где можно посмотреть будет?

Ехать можно с разным уровнем, это тусовка в первую очередь. Скорее всего нет свободных мест на этот год правда.

Да я про следующий думаю...

Спасибо за ответы!

есть munihac еще ближу к концу года в мюнхене, как вариант

есть munihac еще ближу к концу года в мюнхене, как вариант

О. А на сколько ближе, лайк зимой?

октябрь-ноябрь емнип

http://munihac.de/ что-то он скорее "был", чем "есть"

вроде ж последние года 2 был ?

мне казалось что в 2017 был

итак, я таки смог поставить haskell-ide-engine

НО

Cannot load -dynamic objects when GHC is built the normal way To fix this, either: (1) Use -fexternal-interprter, or (2) Build the program twice: once the normal way, and then with -dynamic using -osuf to set a different object file suffix.

у меня пакет собирается с dynamic и ghc-mod внутри hie отказывается с ним работать

кто-нибудь эту проблема уже решал?

как мне "use -fexternal-interpreter" например?

ясно, добавил в кабал файл и заработало