Alexander
@termina1 но на идрисе это пишется ровно так же как на haskell
Viacheslav
нет
Viacheslav
это пишется в 100 раз проще
Viacheslav
как концептуально, так и в плане конкретного кода
Alexander
я даже не знаю что и сказать
Alexander
учитывая что я писал такое и на идрис и на haskell
Alexander
в slack я бы написал /shrug
Viacheslav
ну у меня нет никакой цели убедить кого-то в том, что я прав
Viacheslav
но я писал такие штуки и на идрисе и тепер вот на хаскелле
Viacheslav
и могу сравнить
Alexander
значит или я не знаю идрис, или ты не правильно делаешь это на haskell?
Viacheslav
такое мое ИМХО, будет круто когда хаскелл получит полноценные завтипы
Dmitry
в общем, я позвал Эдвина, но ответит он или нет — это пока неизвестно...
Alexander
т.к. из однинаковых исходных данных мы делаем разные выводы?
Alexander
если бы тебе нужны были функции на типах, то да
Viacheslav
не вижу смысла выяснять кто
Alexander
типа классического примера с PrintF
Alexander
который на haskell не делается адекватно, или гонок с Dec
Alexander
или использования лемм
Alexander
тут в haskell остается только страдать
Dmitry
а дай его почту, туда я тож написать попробую
Alexander
но конда нужно вернуть зависимую пару или GADT s..
Anton
ecb10@st-andrews.ac.uk
Anton
https://edwinb.wordpress.com - отсюда взято
Anton
Он вроде еще активно твиттером пользуется
Dmitry
спасибо!
Anton
Или issue в репозитарии Идриса ему создать 🙂 (шутка)
Dmitry
написал еще и письмом
Dmitry
Ну мы еще попытаемся добыть Саймона Марлоу. В ближайшее время напишу и ему тож
Anton
Если Edwin Brady не приедет, можно David Christiansen попробовать пригласить.
Dmitry
на спикеров из штатов нужно согласие Алины, оттуда — дорого
Alexander
больше спикеров хороших и разных!
Кабачок
так то да, только баги с интерфейсами и прочим мешают пожать сии плоды
Какие баги? Можешь ответить в идрисо-чате.
Alexander
так а как в этом телеграмме сделать нормальный poll который не будет заставлять всех отвечать и выжирать кучу места в истории чата?
Кабачок
Через бота?
Alexander
через как угодно, предыдущая попытка с ботом была не очень удачная
Cheese
подозреваю, что никак
Cheese
это же чатик
Alexander
я тут видел какие-то полы, например про произношение Haskell
Alexander
кто-то как-то их делал
Alexander
полы = голосования
Cheese
например, @vote
Влод
like довольно тихий бот. просто эмодзи с каунтерами
Влод
хотя мб vote тоже кнопками обзавёлся
Alexander
я уже боюсь немного после pollbot
Влод
да vote самое оно
Зигохистоморфный
Так когда нам нормально про рекурсивные схемы кто-то расскажет? А то я то насобирал инфы и наэксперементировался но понять то, что в моем нике не могу, по отдельности могу, а вместе нет
Alexander
Хотите ли вы принять участие в воркшопе по Elm (стоимость $350, продолжительность 18-20 декабря, Минск)?
4. Не интересно – 14
👍👍👍👍👍👍👍 42%
2. Поучаствовал бы, но не устраивает стоимость/дата/локация – 12
👍👍👍👍👍👍 36%
3. Не интересен Elm, но поучаствовал бы в воркшопе по Haskell – 6
👍👍👍 18%
1. Да, хочу участвовать – 1
👍 3%
👥 33 people voted so far.
Крылатый
Что значит воркшоп? Приходишь, платишь за то, чтобы поработать?
Alexander
вот, опрос от fby.by
Alexander
все вопросы к Алине ( @meilalina )
Aleksei (astynax)
Могу поучаствовать в роли "чувака на подхвате" - сам то я Elm знаю и даже пару раз про него рассказывал :)
Alexander
огранизаторы fby.by, там помимо прочего workshop планируется
Alexander
@angmarr ^
Igor
Кстати, а в РФ нет подобных конференции, jugru ещё не интересуется?
Aleksei (astynax)
FPConf
Alexander
FPConf будет
Alexander
надо будет потом пост со списком ближайших конференций запинить
Alexander
2 декабря
Alexander
https://github.com/well-typed/visualize-cbn
проверили на интересном нам вопросе - библиотека закрешилась
Влод
хах
Dmitry
Igor: насколько я понимаю, в РФ таких конф нет. Мы зовем спикеров со всего мира и оплачиваем им дорогу и проживание
Dmitry
что до FPConf, так там за прошлый год — все русскоязычные, и, как я понимаю, в основном — местные?
Vasiliy
на позапрошлом fpconf был ekmett
Dmitry
и всё?
Dmitry
ну клёво, чо уж там...
Vasiliy
ну, да, он там был, скорее, чтоб народ завлечь
Anonymous
почему так много нотаций для sum/product типов 🤔
кана
Много? Я только одну видел, которая со знаками плюс и умножить
Влод
кстати а бывают языки (или идеи насчёт таких языков) где порядок элементов имел не так много значения.
ну в хаскеле сложно сет сделать. или сумму типов такую что: a + b = b + a
в идрисе сложно с сетом что-то доказывать, нужно обязательно всё линейно делать. так конечно всё гораздо понятнее становится как работает. но вроде бы можно было бы сделать чтобы пользователь задавал неупорядоченные структуры
Alexander
fby больше чем фпконф конечно
Alexander
typelevel сеты вообще есть
Vasiliy
https://hackage.haskell.org/package/hset
кана
Ого. Я думал, фбай - такая маленькая рб конфа, никогда даже не планировал ездить на нее, сам из рб
Aleksei (astynax)
На фпконфе больше народу было оба раза. Но в селом фбубу - норм
Alexander
hset это неплохое приближение
Alexander
но на самом деле не то