
Dmitry
19.09.2017
10:39:19
это я просто заранее пишу, какие спикеры будут, чтобы можно было планировать визит сильно заранее))
ну и это... похвастаться тож. Не на каждую конфу удается заманить Мишу Сноймана, Бартоша Милевского, Сашу Серано Мену
?

Alexander
19.09.2017
10:40:20
я запинил, пока без нотификации

Google

Dmitry
19.09.2017
10:40:47
супер!
во, это Алина. Она организатор конфы

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

Dmitry
19.09.2017
10:41:48
Алина, давай ты

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

Dmitry
19.09.2017
10:42:25
(y)
?
Алехандро Серано Мена предлагает воркшоп по веб-разработке на хаскель вне конфы и вроде как даже бесплатно
т.е. конфа в воскресенье, а воркшоп может быть в субботу вечером
кстати, еще интересный момент
мы с Алиной постоянном боремся с превращением конфы в набор лекций
в этом году мы решили попробовать такое новшество: дадим людям возможность задать спикерам вопрос _до_ конфы, чтобы спикеры подготовили на него обстоятельный ответ

Google

Dmitry
19.09.2017
10:50:29
таким образом, помимо обычного получасового доклада на общую тему планируем еще сессию вопросов-ответов по темам, интересующим аудиторию
это отличается от просто вопросов-ответов экспромтом потому, что, во-первых, каждый сможет задать вопрос, и спикер сможет подготовить достаточно подробный ответ, на что не всегда хватает времени просто после доклада

Евгений
19.09.2017
10:54:14
Что это было? :О

Alexander
19.09.2017
10:54:59
извините пожалуйста за шум, я больше так не буду

Leonid
19.09.2017
10:55:32
Лямбдабота запилили бы

Alexander
19.09.2017
10:58:52
вот, так полезная информация хотя бы видна
Dmitry а кидание мягкой игрушкой при определении лучшей технологии будет?

Dmitry
19.09.2017
11:02:07
?
Александр: специфика аудитории не позволяют. Мы интроверты в основном. Народ стесняется участвовать
для меня это прикол, но остальные так почему-то не думают....
если наберется желающих пара человек — тогда можно провести батл ?

? animufag ?
19.09.2017
11:52:27
https://github.com/well-typed/visualize-cbn
http://www.well-typed.com/blog/2017/09/visualize-cbn/

Denis
19.09.2017
11:57:01
мб кто про схемы расскажет на фпбай?)

Alexander
19.09.2017
11:58:50
> If you try it out and the result is not what you expected, p
они мне наврали в этом посте!!!
нехорошие люди
а не это я нервный, там же if

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

Denis
19.09.2017
11:59:39

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

Google

Denis
19.09.2017
12:03:07

Andrei
19.09.2017
12:06:47
А, эти...

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

Dmitry
19.09.2017
12:08:38
если честно, то я пытаюсь выловить Эдвина
никак не словлю его в IRC
А что бы ты рассказал про Idris помимо того, что там есть зав. типы?

Alex
19.09.2017
12:09:29
в личке или в #idris?

Dmitry
19.09.2017
12:09:36
на канале, да

Vyacheslav
19.09.2017
12:09:39
блин если будет брейди то я к вам точно поеду

Dmitry
19.09.2017
12:09:42
хз, ответит ли он на личку

Alex
19.09.2017
12:09:44
он обычно приходит если его упоминают

Dmitry
19.09.2017
12:10:00
оки, напишу ему в личку тогда

Alex
19.09.2017
12:10:08
ну я щас почти дописал пачку доказательств для бинарных арифметик
могу поделиться опытом :)
не ракетная наука но и как пример доступно

Dmitry
19.09.2017
12:10:45
и сколким людям кроме тебя это будет интересно на конфе?

Alex
19.09.2017
12:10:59
как писать доказательства?
а что ещё про идрис рассказывать :)

Dmitry
19.09.2017
12:11:20
ну вот ?

Alex
19.09.2017
12:11:23
бинарщина например плавно переходит в крипту

Google

Dmitry
19.09.2017
12:11:28
а люди деньги за билет заплатят

Vasiliy
19.09.2017
12:11:30
про параметрические стейты, например

Vyacheslav
19.09.2017
12:11:58
завтипы на практике помогают тоже
я 3 вечера убил на хаскелле на то, на что в идрисе ушло бы 3 минуты

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

Alexander
19.09.2017
12:13:51
@termina1 но на идрисе это пишется ровно так же как на haskell

Vyacheslav
19.09.2017
12:13:55
нет
это пишется в 100 раз проще
как концептуально, так и в плане конкретного кода

Alexander
19.09.2017
12:14:26
я даже не знаю что и сказать
учитывая что я писал такое и на идрис и на haskell
в slack я бы написал /shrug

Vyacheslav
19.09.2017
12:15:19
ну у меня нет никакой цели убедить кого-то в том, что я прав
но я писал такие штуки и на идрисе и тепер вот на хаскелле
и могу сравнить

Alexander
19.09.2017
12:16:02
значит или я не знаю идрис, или ты не правильно делаешь это на haskell?

Vyacheslav
19.09.2017
12:16:12
такое мое ИМХО, будет круто когда хаскелл получит полноценные завтипы