@haskellru

Страница 413 из 1551
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
Кто о чем, а Зигохистоморфный Препроморфизм про схемы. Но я тоже бы послушал, если доеду.

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

Google
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
такое мое ИМХО, будет круто когда хаскелл получит полноценные завтипы

Страница 413 из 1551