т.к. из однинаковых исходных данных мы делаем разные выводы?

т.к. из однинаковых исходных данных мы делаем разные выводы?

вероятно кто-то ошибается)

если бы тебе нужны были функции на типах, то да

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

типа классического примера с PrintF

который на haskell не делается адекватно, или гонок с Dec

или использования лемм

тут в haskell остается только страдать

никак не словлю его в IRC

По почте не отвечает?

а дай его почту, туда я тож написать попробую

но конда нужно вернуть зависимую пару или GADT s..

ecb10@st-andrews.ac.uk

https://edwinb.wordpress.com - отсюда взято

Он вроде еще активно твиттером пользуется

спасибо!

Или issue в репозитарии Идриса ему создать ? (шутка)

написал еще и письмом

Ну мы еще попытаемся добыть Саймона Марлоу. В ближайшее время напишу и ему тож

Если Edwin Brady не приедет, можно David Christiansen попробовать пригласить.

на спикеров из штатов нужно согласие Алины, оттуда — дорого

больше спикеров хороших и разных!

так то да, только баги с интерфейсами и прочим мешают пожать сии плоды

Какие баги? Можешь ответить в идрисо-чате.

так а как в этом телеграмме сделать нормальный poll который не будет заставлять всех отвечать и выжирать кучу места в истории чата?

Через бота?

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

подозреваю, что никак

это же чатик

я тут видел какие-то полы, например про произношение Haskell

кто-то как-то их делал

полы = голосования

например, @vote

like довольно тихий бот. просто эмодзи с каунтерами

хотя мб vote тоже кнопками обзавёлся

я уже боюсь немного после pollbot

да vote самое оно

Так когда нам нормально про рекурсивные схемы кто-то расскажет? А то я то насобирал инфы и наэксперементировался но понять то, что в моем нике не могу, по отдельности могу, а вместе нет

Хотите ли вы принять участие в воркшопе по Elm (стоимость $350, продолжительность 18-20 декабря, Минск)? 4. Не интересно – 9 ??????? 47% 2. Поучаствовал бы, но не устраивает стоимость/дата/локация – 6 ????? 32% 3. Не интересен Elm, но поучаствовал бы в воркшопе по Haskell – 3 ?? 16% 1. Да, хочу участвовать – 1 ? 5% ? 19 people voted so far.

Что значит воркшоп? Приходишь, платишь за то, чтобы поработать?

вот, опрос от fby.by

все вопросы к Алине ( @meilalina )

Хотите ли вы принять участие в воркшопе по Elm (стоимость $350, продолжительность 18-20 декабря, Минск)? 4. Не интересно – 9 ??????? 47% 2. Поучаствовал бы, но не устраивает стоимость/дата/локация – 6 ????? 32% 3. Не интересен Elm, но поучаствовал бы в воркшопе по Haskell – 3 ?? 16% 1. Да, хочу участвовать – 1 ? 5% ? 19 people voted so far.

Сюда писал @elm_ru ?

Могу поучаствовать в роли "чувака на подхвате" - сам то я Elm знаю и даже пару раз про него рассказывал :)

огранизаторы fby.by, там помимо прочего workshop планируется

@angmarr ^

Кстати, а в РФ нет подобных конференции, jugru ещё не интересуется?

FPConf

FPConf будет

надо будет потом пост со списком ближайших конференций запинить

2 декабря

https://github.com/well-typed/visualize-cbn

проверили на интересном нам вопросе - библиотека закрешилась

хах

Igor: насколько я понимаю, в РФ таких конф нет. Мы зовем спикеров со всего мира и оплачиваем им дорогу и проживание

что до FPConf, так там за прошлый год — все русскоязычные, и, как я понимаю, в основном — местные?

на позапрошлом fpconf был ekmett

и всё?

ну клёво, чо уж там...

ну, да, он там был, скорее, чтоб народ завлечь

почему так много нотаций для sum/product типов ?

Много? Я только одну видел, которая со знаками плюс и умножить

кстати а бывают языки (или идеи насчёт таких языков) где порядок элементов имел не так много значения. ну в хаскеле сложно сет сделать. или сумму типов такую что: a + b = b + a в идрисе сложно с сетом что-то доказывать, нужно обязательно всё линейно делать. так конечно всё гораздо понятнее становится как работает. но вроде бы можно было бы сделать чтобы пользователь задавал неупорядоченные структуры

fby больше чем фпконф конечно

typelevel сеты вообще есть

https://hackage.haskell.org/package/hset

Ого. Я думал, фбай - такая маленькая рб конфа, никогда даже не планировал ездить на нее, сам из рб

На фпконфе больше народу было оба раза. Но в селом фбубу - норм

hset это неплохое приближение

но на самом деле не то

и.к. на уровне типов порядок имеет значение

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

либы

fby больше чем фпконф конечно

там не задают вопросов - что значит ио?

Лол

это отсылка к fprog SPb?

ну да

кстати очень интересная для фпрог подборка людей

Haskell не так и много знает, много лисперов но много ребят на coq и компании

вроде

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

почему у этих ребят неугасает интерес. и ещё они вроде журнал писали (откуда столько инициативы при таком мертвом сообществе)

какой журнал? фпрог?

мне казалось основная часть издательства разъехалась

какой журнал? фпрог?

да. это просто совпадение что конфа и журнал одноименные?

хз

ну тех людей что я из журнала помню я не помню на фпрог СПб

ну ладно. просто кто-то когда-то подтвердил это предположение и я дальше не сомневался

кложуристы это наверное лавсан?

он постоянно агитирует идти на питерский фпрог

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

впрочем я там сам был 2.5 раза

лавсан был оба раза

ну значит я его узнаю только на фотках

Здрасте.

Подскажите, пожалуйста, нубу, а как объявить функцию, которая принимает 3 Floating и возвращает 1 Complex?

solveEquation :: (Floating a, Ord a, Complex b) => a -> a -> a -> Solution b Такой вариант не прокатывает.