Алексей
Ассоциативно, да
Алексей
Для флоатов это не так
IC
у меня простое рабоче-крестьянское сложение
Andrey
в модели считаем что так
Алексей
Тогда надо нормализовывать AST.
Алексей
Руками переписывать a + (b + c) в (a+b)+c
Алексей
например
IC
как?
Алексей
И сравнивать normalize (generatedAST) == parsedAST
Алексей
Паттернматчить:
norm (a :+: (b :+: c)) = (a :+: b) :+: c
То есть код выше, конечно, невереннадо переписывать выражение пока не дойдйшь до фиксированной точки
Алексей
Довольно морочно, можно ошибиться
Алексей
Мне кажется, что проще расставлять скобки с учётом ассоциативности
IC
а потом туда влетают правоассоциативные операторы...
Алексей
Если генератор нагенерил a+(b+c) пусть так со скобками и генерит
Алексей
Больше скобок!!!
IC
Скобок нет в AST
Andrey
только они там и есть
Алексей
Операторы бинарные?
Алексей
Значит есть
IC
срезаются парсером и расставляются принтером
тот
что означает девиз хаскела "Avoid Success at All Costs!"?
Andrey
вот, наконец-то онтоп про сабж )))
тот
что означает девиз хаскела "Avoid Success at All Costs!"?
"Избегать Успех Любой Ценой": возможно, некоторые вещи сделаны не самым (простым) коротким путем, зато, строгой сематики
IC
и правда переписать чтоль всё на формы... 🤔
IC
и унарные туда же, ибо нефиг
тот
@Anacta А еще ранее широко известный в узких кругах afiskon написал небольшой популярный пост:
https://eax.me/haskell-stm/
используйте, пожалуйста, хештег типа #статья #haskell #хаскел или что-то другое чтобы находить материал в бесконечном чате, благодарю за ссылку
Влод
@Anacta А еще ранее широко известный в узких кругах afiskon написал небольшой популярный пост:
https://eax.me/haskell-stm/
Хах. Он же совсем скучным стал
Влод
Было интересно следить как он разбирается во всём
Влод
Даже подкаст слушал пока не осознал что довольно тупая прокастинация
IC
Memento topic.
тот
Даже подкаст слушал пока не осознал что довольно тупая прокастинация
ну да, без тренировки и прыгая с темы на тему скатился
тот
есть установленные нормы как называть haskell на русском? а то столько хорошего материала и не попадают в часть ключевых слов, можно определить хештеги, ключевые слова чтобы поисковики лучше работали
Влод
эс
Влод
кю
Влод
эль
Dmitry
Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может, кто-то отчёты по Зурихаку делал, накидайте, пожалуйста, ссылок почитать. Те, кто сейчас поедут, они с докладами, или потусоваться? Если с докладами, где можно посмотреть будет?
Dmitry
@qnikst ^
Влод
но я сказал про аскёль
IC
Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может, кто-то отчёты по Зурихаку делал, накидайте, пожалуйста, ссылок почитать. Те, кто сейчас поедут, они с докладами, или потусоваться? Если с докладами, где можно посмотреть будет?
Смысл есть. Как минимум можно будет попытаться закодить что-то посложнее и получить помощи на месте. Ну и потусоваться конечно, это тоже может оказаться важным.
IC
используйте, пожалуйста, хештег типа #статья #haskell #хаскел или что-то другое чтобы находить материал в бесконечном чате, благодарю за ссылку
Все ссылки канала выгребаются в поиске по http/https а в некоторых клиентах доступны в отдельной вкладке. Для всего остального должен катить полнотекстовый поиск.
Alexander
Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может, кто-то отчёты по Зурихаку делал, накидайте, пожалуйста, ссылок почитать. Те, кто сейчас поедут, они с докладами, или потусоваться? Если с докладами, где можно посмотреть будет?
zurihac это больше про общение, возможность задать вопросы вживую людям, посоветоваться про задачи, рассказать свои и т.п.
Если ехать чтобы тихо пилить свой код, то многое из этого теряется, а другой возможности так пообщаться врятли представится
Alexander
докладов там не так много, вроде ни у кого из наших нету
Alexander
вообще если проект есть, то круто, но это имхо не главнок
Cheese
Andrey
докладов там не так много, вроде ни у кого из наших нету
доклады там регулярно бывают в рамках https://www.meetup.com/ru-RU/HaskellerZ/
Maxim
@qnikst зачем надо cabal_chdeps?
Alexander
фиксить кривые зависимости
Alexander
и.е. если констрейнты криво прописаны, то через chdeps можно поправить
Maxim
я видел только ограничение сверху убирается обычно
Maxim
не понимаю зачем
Maxim
у вас есть какой-нибудь CI для оверлея, чтобы проверять что все собирается?
Alexander
не убирается, а обновляется на то что работает
Alexander
если меинтейнер пакета апстрим сам этого не сделал
Alexander
CI есть, но там меньше проверок что все билдится
Alexander
тем более там наверняка есть варианты как сбилдить много пакетов, не очень совместимые
Alexander
т.е. или а или б
Denis
Вопросы по Зурихак онтопиковые? Если нет, сносите мой вопрос :) Если да, тогда расскажите, а что там интересного и полезного? Есть ли смысл ехать среднякам по Haskell'ю? Может, кто-то отчёты по Зурихаку делал, накидайте, пожалуйста, ссылок почитать. Те, кто сейчас поедут, они с докладами, или потусоваться? Если с докладами, где можно посмотреть будет?
Ехать можно с разным уровнем, это тусовка в первую очередь. Скорее всего нет свободных мест на этот год правда.
Dmitry
Да я про следующий думаю...
Dmitry
Спасибо за ответы!
Denis
есть munihac еще ближу к концу года в мюнхене, как вариант
Denis
октябрь-ноябрь емнип
IC
http://munihac.de/ что-то он скорее "был", чем "есть"
Alexander
вроде ж последние года 2 был ?
Denis
мне казалось что в 2017 был
Maxim
итак, я таки смог поставить haskell-ide-engine
Maxim
НО
Maxim
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.
Maxim
у меня пакет собирается с dynamic и ghc-mod внутри hie отказывается с ним работать
Maxim
кто-нибудь эту проблема уже решал?
Maxim
как мне "use -fexternal-interpreter" например?
Maxim
ясно, добавил в кабал файл и заработало
Vladislav
1000
Подскажите, я только начинаю
как заставить это работать? раскидал 2 колбека чтобы получить результат, но при колбеке ошибка
https://w3tls.net/gSut-J5e641950c59ca99865a5b8267ee5fbd7.png
Leonid 🦇
Подскажите, я только начинаю
как заставить это работать? раскидал 2 колбека чтобы получить результат, но при колбеке ошибка
https://w3tls.net/gSut-J5e641950c59ca99865a5b8267ee5fbd7.png
снаружи более абстрактный тип (Fractional a => a), внутри конкретный тип Int.
Leonid 🦇
или сделать и там и там a, или сделать и там и там Int
IC
В гетах конкретика лишняя
1000
я изучаю хаскель чтобы улучшить качество своего кода
можете пожалуйста показать, как изящно оформить даную реализацию, и по возможности объяснить почему так