но ты и с синглетонами это не знаешь

Я могу как раз знать, сказав что жду конкретный тип

Не полиморфный ко кайнду

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

это уже другое дело

Есть функция которая должна быть полиморфно, а другим необязательно

В общем, попытка запихнуть завтипы в хаскелл без полной из поддержки пока провалилась

я вчера написал работающий код, какая в нём проблема?

SI это был тебе dependent-pair, это не тот случай, где в haskell нельзя реализовать ничего

@termina1 в общем напиши список функций, которые тебе нужны и я модифицирую вчерашний пример

спасибо, я подход понял, дальше сам)

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

из гиттера попросили передать: > Nop Nopovich @Nop58284650_twitter 13:22 > привет всем > прост хочу сказать, что к нам на fby.by в этом году приедут Миша Снойман (автор Yesod), Бартош Милевский (https://bartoszmilewski.com/), Денис Шевченко (https://www.ohaskell.guide/), Алехандро Серано Мена (https://www.amazon.com/Beginning-Haskell-Alejandro-Serrano-Mena/dp/1430262508) и много других спикеров > Ждем вас в гости!

Александр Вершилов: спасибо, что запулил моё сообщение

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

Может его запинить?

у вас на сайте написано 2016 год

конфа ещё готовится

это я просто заранее пишу, какие спикеры будут, чтобы можно было планировать визит сильно заранее))

ну и это... похвастаться тож. Не на каждую конфу удается заманить Мишу Сноймана, Бартоша Милевского, Сашу Серано Мену

😊

я запинил, пока без нотификации

супер!

во, это Алина. Она организатор конфы

Dmitry если напишешь сюда одним потом с датами и т.п. а то сейчас оно не в одном сообщении то, я тогда с нотификацией запиню. так больше людей увидит

Алина, давай ты

Привет! Мы сайт скоро обновим. По поводу воркшопа по Elm, пока нет уверенности. Будем делать опрос и трекать предварительный интерес

Dmitry если напишешь сюда одним потом с датами и т.п. а то сейчас оно не в одном сообщении то, я тогда с нотификацией запиню. так больше людей увидит

да, сделаю

(y)

👍

Алехандро Серано Мена предлагает воркшоп по веб-разработке на хаскель вне конфы и вроде как даже бесплатно

т.е. конфа в воскресенье, а воркшоп может быть в субботу вечером

кстати, еще интересный момент

мы с Алиной постоянном боремся с превращением конфы в набор лекций

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

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

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

Что это было? :О

извините пожалуйста за шум, я больше так не буду

Лямбдабота запилили бы

вот, так полезная информация хотя бы видна

Dmitry а кидание мягкой игрушкой при определении лучшей технологии будет?

😊

Александр: специфика аудитории не позволяют. Мы интроверты в основном. Народ стесняется участвовать

для меня это прикол, но остальные так почему-то не думают....

если наберется желающих пара человек — тогда можно провести батл 😊

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

http://www.well-typed.com/blog/2017/09/visualize-cbn/

мб кто про схемы расскажет на фпбай?)

> If you try it out and the result is not what you expected, p они мне наврали в этом посте!!!

нехорошие люди

а не это я нервный, там же if

Кто о чем, а Зигохистоморфный Препроморфизм про схемы. Но я тоже бы послушал, если доеду.

Кто о чем, а Зигохистоморфный Препроморфизм про схемы. Но я тоже бы послушал, если доеду.

они же прекрасны)

Речь про эти схемы https://ru.m.wikipedia.org/wiki/Схема_(математика) или какие-то другие?

Речь про эти схемы https://ru.m.wikipedia.org/wiki/Схема_(математика) или какие-то другие?

http://comonad.com/reader/2009/recursion-schemes/

А, эти...

у меня есть идея про идрис рассказать, но возможно уровень конференции уже превышает мое скромное предложение :)

если честно, то я пытаюсь выловить Эдвина

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

А что бы ты рассказал про Idris помимо того, что там есть зав. типы?

в личке или в #idris?

на канале, да

блин если будет брейди то я к вам точно поеду

хз, ответит ли он на личку

он обычно приходит если его упоминают

оки, напишу ему в личку тогда

ну я щас почти дописал пачку доказательств для бинарных арифметик

могу поделиться опытом :)

не ракетная наука но и как пример доступно

и сколким людям кроме тебя это будет интересно на конфе?

как писать доказательства?

а что ещё про идрис рассказывать :)

ну вот 😊

бинарщина например плавно переходит в крипту

а люди деньги за билет заплатят

про параметрические стейты, например

а что ещё про идрис рассказывать :)

да ладно

завтипы на практике помогают тоже

я 3 вечера убил на хаскелле на то, на что в идрисе ушло бы 3 минуты

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