Кроме нотации и языка вообще ничего нет, или ты предлагаешь эмпатическими волнами общаться?
ну я имел ввиду недопонимания связанные с нотацией
Anonymous
кана
так, в пейпере про флоу тот символ использовался именно как простое объединение, без тегов, следовательно это не Either
Зигохистоморфный
у дизъюктивного объединения другой значок
Anonymous
а в хаскеле бывают объединения без тегов?
кана
думаю, что нет
Влод
очевидно, что это редкая штука
мешающая выводу типа тем более
Anonymous
такк
Anonymous
а + б это с тегом или нет?
Влод
думаю имеет смысл спрашивать в контексте исключительно пейпера.
Anonymous
я в целом спрашиваю
Влод
вроде я где-то такое встречал, что адт = сумма.
особенно там где проводится аналогия с логикой
но это становится немного сложнее, если есть настоящая сумма типов, без ввода новых значений
кана
а + б это с тегом или нет?
ну да вроде. Поэтому ⨆ != +. Но полагаю, плюс используют тупо из-за лени искать плюс в кружочке
Anonymous
понятно
Anton
а в хаскеле бывают объединения без тегов?
По-моему этот вопрос чем-то похож на этот: https://stackoverflow.com/q/39582869/2747511
Anonymous
вроде нет
Дмитрий
/thread
Aleksei (astynax)
Привет!
Aleksei (astynax)
Нас всё больше
Dmitry
что за тема с '''/thread''' ?
Dmitry
какой-то баг телеграма?
Aleksei (astynax)
IRC-привычка :)
Aleksei (astynax)
(но это не точно, я просто предположил)
Aragaer
я активно использую /me
Alexandr
Привет! Не совсем понимаю, у меня есть library в кабал проекте, там несколько модулей, один используется в другом, но друг друга они не видят.
Failed to load interface for ‘Parser’
It is a member of the hidden package ‘ghc-8.0.2’
Пробовал в добавлять в exposed-modules и в build-depends не помогает
Alexandr
Хм, окей, это просто анализатор пишет, на самом деле оно билдится
Anonymous
/thread
Евгений
Стоило один раз написать /thread и хаскель-чат третий день им развлекается >…>
Евгений
что за тема с '''/thread''' ?
Не, это фича, чтобы команды боту не повторять 10 раз. Я думаю, что единственный минус -- что он сразу отсылает. Я бы заполнял поле ввода (чтобы можно было параметры хуйнуть)
Alexander
а вот 5 баксов мне уже не переводят : (
Alexander
я не стану долларовым миллионером похоже
Alexander
Привет! Не совсем понимаю, у меня есть library в кабал проекте, там несколько модулей, один используется в другом, но друг друга они не видят.
Failed to load interface for ‘Parser’
It is a member of the hidden package ‘ghc-8.0.2’
Пробовал в добавлять в exposed-modules и в build-depends не помогает
> It is a member of the hidden package ‘ghc-8.0.2’
> ghc-8.0.2
Alexander
что-то пытается найти модуль Parser
Alexander
среди всех зарегистрированых модулей, модуль с таким именем только в ghc-8.0.2 и он не экспортирован
Alexandr
а intero должен норм работать с кабалом? Перевел проект на стак и анализатор перестал ругаться
Alexander
intero - маловероятно
Aleksei (astynax)
intero работает только со stack
Alexander
как заставить себя не лениться писать длинные архитектурные документы?
Alexander
я и на русском то это делать не люблю
Евгений
Хз, у меня такая же проблема с русскими документами
Alexander
у меня с русскими тоже, а с английским ещё и язык
Dmitry
@qnikst а предложения на Elm / Purescript сюда можно закидывать? или не стоит?
Max
@voidlizard я закинул в Эльм-чатик
Dmitry
о - есть Elm чатик?
Max
Канешна
Anonymous
там очень любят полемику
Alexander
Anatolii
там за Purescript могут тапками закидать:)
Dmitry
Выходим из коматоза:
http://telegra.ph/Ishchem-frontendera-10-31
Dmitry
ну, purs пока в состоянии тыкания палкой
Anonymous
почему
Anton
/thread
Aleksei (astynax)
Та не, за хаскель закидывают, а за пурс неособо - многие на него поглядывают :)
Anatolii
ну там когда начали говорить что <|> <*> сложно
Anatolii
я подумал что и пурс тоже гавно для них
A64m
<|> очень сложно, БЕЗЗАКОННЫЙ КЛАСС же
Anatolii
ну там не в законности дело:)
Anatolii
закорлючки не понятные
A64m
да я понимаю, конечно
Anatolii
@astynax там отбивался как мог
Anatolii
я прямо удивился его терпению
Aleksei (astynax)
Я был на пределе :)
Anonymous
не видел практического применения <|>
A64m
хочу заглянуть в эльм-чатик
andrei
@elm_ru
A64m
@anarchostatist в эльме? Так там его и не написать, наверное
Anonymous
вообще
A64m
постоянно использую его с инстансом для мейби и в парсерах всяких
A64m
также при написании скриптов на turtle
Aleksei (astynax)
парсеры, CLI-опции, да просто Maybe
Aleksei (astynax)
Тем более что до Alternative в эльмчяте не дошло, там просто Applicative всех в ужас вогнал
Leonid 🦇
на фпконф опять у хаскелистов своё гетто
Leonid 🦇
а, нет. гоню
A64m
@astynax просто из-за закорючек или сама концепция
Aleksei (astynax)
Закорючки
A64m
т.е. какие-нибудь идиом брекетс или апликатив-ду им бы нормально пошли?
Alexander
Applicative - unwelcoming!
Aleksei (astynax)
Им нравится, когда Just 42 |> Maybe.map (+) |> Maybe.andThen (\f -> Maybe.map f <| Just 54)
Dmitry
пепел окамла стучит в наших сердцах
Alexander
это нетолерантно!