@haskellru
Leonid26.03.2018
15:14:41
15:14:41
Leonid26.03.2018
15:15:16
15:15:16
Я констрейнты не переношу, если короткие. Если длинные, то переношу перед ( и тогда по два символа все инденты ._.
@catamorphism А ведь так можно
pgCreateProject
:: HasPostgres m
=> MonadLogger m
=> MonadThrow m
=> Name
-> m ProjectWithId
Denis26.03.2018
15:15:28
15:15:28
да, главное чтоб не как в postgrest
я недавно xeno дебажил(оказалось что баг у меня в конце концов), я пока не переформатировал функцию на пару экранов - ничего не мог понятьGoogleDenis26.03.2018
15:15:39
15:15:39
мне нравится
kana26.03.2018
15:15:57
15:15:57
@catamorphism А ведь так можно
pgCreateProject
:: HasPostgres m
=> MonadLogger m
=> MonadThrow m
=> Name
-> m ProjectWithId
емнип были какие-то места, где так внезапно было нельзя. Или это в прошлом?Leonid26.03.2018
15:16:09
15:16:09
вроде пофиксили
Denis26.03.2018
15:16:14
15:16:14
емнип были какие-то места, где так внезапно было нельзя. Или это в прошлом?
какие места? это равносильные нотации же
Denis26.03.2018
15:16:17
15:16:17
Если в extra-deps добавляете, пакеты, то как бы говорите “я осознаю что stackage за меня не разрулит и я отсолвлю это сам”.
Вероятно поможет allow-newer: true в stack.yaml
allow-newer помогает, но я не знаю насколько это хорошее решениеDenis26.03.2018
15:16:21
15:16:21
или баг был с парсером?
Leonid26.03.2018
15:16:40
15:16:40
kana26.03.2018
15:17:29
15:17:29
в классах все еще нельзя
class A a
class B a
class A a => B a => C a - ошибка
Alexander26.03.2018
15:17:58
15:17:58
done
Google
Vitaly26.03.2018
15:18:33
15:18:33
Надеюсь, теперь все будут заходить в fprog_spb и им напоминать!
Leonid26.03.2018
15:19:21
15:19:21
Там рассадник кложуристов
Vitaly26.03.2018
15:19:43
15:19:43
Я всех люблю!
Leonid26.03.2018
15:19:48
15:19:48
Сегодня пишет он на кложе, а завтра хаскелисту даст по роже!
Vitaly26.03.2018
15:20:03
15:20:03
Хорошо, что я не хаскелист
Alexander26.03.2018
15:20:54
15:20:54
я не собираюсь заходить в fprog_spb вообще
в канал так 100% и с очень высокой вероятностью на митапы
наверное
Ignat26.03.2018
15:25:17
15:25:17
Vitaly26.03.2018
15:26:04
15:26:04
в канал так 100% и с очень высокой вероятностью на митапы
Лисперы, как всякие люди, которым чего-то сильно не хватает, очень токсичны.Vitaly26.03.2018
15:26:37
15:26:37
Конечно, у тебя же есть ТИПЫ
Alexander26.03.2018
15:26:48
15:26:48
и борода!
Vitaly26.03.2018
15:27:02
15:27:02
Хорошо тебя понимаю
Googlekana26.03.2018
15:28:45
15:28:45
опасно когда всякие типы говорят да
главное чтобы они не зависили от какой-нибудь дряни типа термов
Vitaly26.03.2018
15:30:33
15:30:33
опасно когда всякие типы говорят да
главное чтобы они не зависили от какой-нибудь дряни типа термов
Вот, для этой дряни есть другой чатик, я оттуда ушёл давно, они там слишком умные.Denis26.03.2018
15:31:26
15:31:26
там уютненько и нетоксично зато
Alister26.03.2018
15:31:49
15:31:49
мертво
Alister26.03.2018
15:32:35
15:32:35
пузяку чесать
Vladimir26.03.2018
15:34:57
15:34:57
kana26.03.2018
15:35:31
15:35:31
https://t.me/joinchat/Ai4h2D9SWO_RDx2jMUbzqw
Leonid26.03.2018
16:45:49
16:45:49
@bravit111 для вас сделали добрые люди в fprog_spb http://telegra.ph/Gastroli-Vitaliya-Nikolaevicha-Bragilevskogo-v-Pitere-03-26
Vitaly26.03.2018
16:46:20
16:46:20
О, прекрасно!
Denis26.03.2018
16:47:01
16:47:01
огоспади, по-моему мне надо QualifiedConstraints
Leonid26.03.2018
16:48:19
16:48:19
Denis26.03.2018
16:48:31
16:48:31
валера^Wconstraints, настало твоё время
Denis26.03.2018
16:50:31
16:50:31
я на код смотрю и не исключаю
Alexander26.03.2018
16:56:34
16:56:34
OverqualifiedConstraints
@termina1 а какие экстеншены в haskell друг с другом не работают?
Vyacheslav26.03.2018
17:01:01
17:01:01
я не говорил, что они не работают
GoogleAlexander26.03.2018
17:02:28
17:02:28
"а теперь у меня конфликт, потому что я подключил 2 экстеншена которые друг с другом не работают" цитата
58.44
на video
Vyacheslav26.03.2018
17:03:25
17:03:25
ох
в общем, есть экстеншены, например, которые не имеют смысла без других экстеншенов
Alexander26.03.2018
17:03:53
17:03:53
такое есть
Vyacheslav26.03.2018
17:04:29
17:04:29
есть экстеншены, которые приводят к странным последствиям
конфлитующих не видел, поэтому можно сказать, что некорректно выразился
Alexander26.03.2018
17:05:22
17:05:22
ясно
Anatolii26.03.2018
17:33:00
17:33:00
Я зашел в свитер, понял почему тонского тут упоминали. Лучше бы я это не читал
Denis26.03.2018
18:05:36
18:05:36
да ничего там примечального не было
Александр26.03.2018
18:09:28
18:09:28
Да что он вам сделал. Приятный человек же.
Наверное.
Я с ним общался пару раз: один раз на CodeFest он делал квартирник по ФП, нас там было 4 эксперта. Другой раз я позвал его выступить на одном из митапов LambdaNsk.
А Твиттер читать вредно.
Leonid26.03.2018
18:11:37
18:11:37
Он развлекся за счёт хаскелистов. Агритесь легко
Александр26.03.2018
18:13:02
18:13:02
По степени легкости агрения представители каких языков выигрывают и проигрывают?
Denis26.03.2018
18:20:24
18:20:24
представители Нахско-дагестанской языковой семьи довольно горячего нрава, например
Leonid26.03.2018
18:22:11
18:22:11
На трансдюсер норовят посадить?
Denis26.03.2018
18:24:33
18:24:33
я бы не стал утверждать что они за динамически типизированные языки
GoogleLeonid26.03.2018
18:25:30
18:25:30
За традиционные ЯП. Алгол - сила!
Alister26.03.2018
18:28:53
18:28:53
Кобол －стяжательство, от шайтана！
Циклы в кармане,
Ветви над нами,
вперед процедуриане！
Alexander26.03.2018
18:35:17
18:35:17
циклы придумали люди которые не умеют в goto
Александр26.03.2018
18:36:41
18:36:41
goto considered lampful
Alexander26.03.2018
18:38:30
18:38:30
вообще, выросло целое поколоение хейтеров goto, которые работают на языках где оно и не нужно
мне кажется, люди защищающие fix посреди функции будут и goto защищать, аргументация похожая
Александр26.03.2018
18:40:19
18:40:19
Так. А теперь серьезный вопрос. Здесь есть уникумы, читавшие Кнута? Ну хотя бы первую из его эпохальных книг. (Признаюсь, я не уникум)
Dmitry26.03.2018
18:41:06
18:41:06
ну, я читал. сколько-то прочитал
Александр26.03.2018
18:41:53
18:41:53
Там, говорят, goto везде
Dmitry26.03.2018
18:42:07
18:42:07
и mixal
Александр26.03.2018
18:42:23
18:42:23
А последнее что такое?
Pig26.03.2018
18:42:49
18:42:49
Скорее кто
Alexander26.03.2018
18:43:03
18:43:03
хочу напомнить, что в языке C goto это единственный аналог finaly / ensure
Aragaer26.03.2018
18:43:29
18:43:29
я читал у кнута первые главы в первых трех томах
Alexander26.03.2018
18:44:11
18:44:11
ну то есть формально можно работать с ресурсами и на функциях второго порядка, но там проблемы с карированием, да и с выразительностью итоговой мешанины
Aragaer26.03.2018
18:44:16
18:44:16
но то было в далекой юности - второй курс
Alexander26.03.2018
18:44:35
18:44:35
а че, слабо монаду на C сделать?
分解物質26.03.2018
18:44:39
18:44:39
Открыть в Telegram