@haskellru
Grigory30.09.2018
09:34:44
09:34:44
это вопрос удобно ли и что сделать чтобы было удобно
kana30.09.2018
09:34:48
09:34:48
нет, неудобно, баги подсветки всплывают часто
что сделать - не знаю, я просто отрубаю подсветку когда баги и пишу без нее
Imants30.09.2018
09:35:08
09:35:08
GoogleGrigory30.09.2018
09:35:18
09:35:18
понятно, жалко, спасибо
kana30.09.2018
09:42:34
09:42:34
Denis30.09.2018
10:21:36
10:21:36
ну на TH там есть несколько реализаций, а на генериках не нашел
да ладно https://github.com/Lysxia/generic-recursion-schemesи опять же https://github.com/oisdk/generic-church
Denis30.09.2018
10:23:56
10:23:56
ну первое это я про женерик рекурсивные схемы
kana30.09.2018
10:52:29
10:52:29
data F f g = F { unF :: f (g (F f g)) }
f :: (Functor f, Functor g) => (f a -> a) -> (g a -> a) -> (F f g -> a)
f g h = g . fmap h . fmap (fmap (f g h)) . unF
g :: (Functor f, Functor g) => (f (g a) -> a) -> (F f g -> a)
g h = h . fmap (fmap (g h)) . unF
какой из этих двух элиминаторов правальный
Ilya30.09.2018
10:57:33
10:57:33
Второй правильный, на мой взгляд (смотрел только на типы)
А первый можно выразить через второй. То есть у первого сигнатура более общая, но выразительность на самом деле точно такая же
Denis30.09.2018
11:06:28
11:06:28
Ilya30.09.2018
11:09:14
11:09:14
просто тип носителя контейнера не полиморфный
Denis30.09.2018
11:43:25
11:43:25
@kana_sama я думаю тебе также стоит обратить внимание на репрезентативный функтор
Google
Anton
A64m30.09.2018
13:15:41
13:15:41
там же асап будет для ферст ордер языка, при полнопрограммном анализе, т.е. асап для грина вполне подходит
другое дело, наколько проблемно хаскель компилировать в такой промежуточный язык
первая имплементация грина ни одной программы больше 1000 строк не собирала
да и jhc тоже успешным проектом не назовешь
Alexander30.09.2018
13:47:10
13:47:10
/stat@combot
Combot30.09.2018
13:47:10
13:47:10
combot.org/c/-1001043143583
Terminator30.09.2018
16:32:42
16:32:42
Mago будет жить. Поприветствуем!
Yuriy30.09.2018
16:44:42
16:44:42
давайте договоримся в математических и программистских статьях не писать рядом «bottom» и «(_|_)» (именно в скобках)
A30.09.2018
17:25:27
17:25:27
Почему?
Abbath30.09.2018
17:30:49
17:30:49
Это жеппа
A30.09.2018
17:34:04
17:34:04
Да вроде нет
Imants30.09.2018
17:36:51
17:36:51
⊥
⊥
U+22A5
https://en.m.wikipedia.org/wiki/List_of_logic_symbols
Kirill30.09.2018
17:51:37
17:51:37
(⊥) смотрится ещё лучше чем (_|_)
Timofey30.09.2018
18:48:35
18:48:35
$\bot$
Alexander30.09.2018
19:55:49
19:55:49
для тех кто сразу не понял
ещё предлагаю сразу к этому добавить, чтобы в руских постах и статьях и объяснениях не использовать слово "жопа"
GoogleA64m30.09.2018
20:10:56
20:10:56
тем временем комитетчики приняли пару фич
https://github.com/ghc-proposals/ghc-proposals/pull/54
и
https://github.com/ghc-proposals/ghc-proposals/pull/81
Alexander30.09.2018
20:12:44
20:12:44
твиттер рассказал
A64m30.09.2018
20:16:50
20:16:50
мой оптимистичный прогноз, что будет пара заметных фич, а именно Top-level kind signatures и Type applications in patterns
реалистический прогноз как раньше остается, пока диффы соотвествующие не появятся
https://gist.github.com/klapaucius/8fc2fbb48606e6dd9a9a095898e3fac4
Iva30.09.2018
20:20:37
20:20:37
что сделать - не знаю, я просто отрубаю подсветку когда баги и пишу без нее
Вы какие то сверхчеловеки неподсвеченный код писать.kana30.09.2018
20:21:24
20:21:24
ну я пишу мелкую фигню в один файл, :r в репле пишется на автомате посли любого изменения, ошибки видятся быстро
Alexander30.09.2018
20:29:59
20:29:59
@chshersh summoner не собирается cabal-install-ом на ghc 8.2.2 и новом срезе
похоже используется более новый/старый мегапарсек
Dmitry01.10.2018
00:39:30
00:39:30
@chshersh summoner не собирается cabal-install-ом на ghc 8.2.2 и новом срезе
Уже 10 часов как собирается. Попробуй cabal new-update. Я еще вечером обновил конкстрейнты на зависимости через ревизии. Как минимум Travis CI проходится для GHC 8.2.2 и GHC 8.4.3Кстати, @qnikst недавно лестно высказался от библиотеке логирования, над которой мы работаем. Решил поделиться здесь тоже, на тот случай, если кому-нибудь интересно.
Are you ready for the composable contravariant combinatorial comonadic configurable convenient logging framework? Wait no more! Meet co-log:
https://kowainik.github.io/posts/2018-09-25-co-log
Alexander01.10.2018
08:28:00
08:28:00
@chshersh я наверное на этой или следующей неделе попробую на неё проектик перетащить
напишу пост про результат
с katip
Dmitry01.10.2018
08:29:14
08:29:14
С нетерпением жду результатов!
Oleg01.10.2018
09:18:44
09:18:44
Aleksey01.10.2018
09:20:44
09:20:44
Are you ready for the composable contravariant combinatorial comonadic configurable convenient logging framework? Wait no more! Meet co-log:
https://kowainik.github.io/posts/2018-09-25-co-log
Почитал, потом вбросил коллегам. Может и сподобимся с katip слезть на колог :)Alexander01.10.2018
09:33:48
09:33:48
на самом деле похоже 3/4 колога мне тоже не нужно, но там они хотя бы не мешаются в отличии от катипа
A64m01.10.2018
09:33:56
09:33:56
будущее хаскеля которого хотят аннотаторы-всех-типов
https://twitter.com/Iceland_jack/status/1046450610101518336
(картинка)
GoogleA64m01.10.2018
10:16:05
10:16:05
Мейер вместо hugs 2006.9 пользуется GHCi 8.0.1 штоле?
https://twitter.com/headinthebox/status/1046514438864494592
Leonid01.10.2018
11:05:36
11:05:36
Yuriy01.10.2018
11:28:18
11:28:18
A64m01.10.2018
12:00:42
12:00:42
Теперь надежда на Клайдена только
Maxim01.10.2018
12:07:43
12:07:43
господа, можете показать хорошие примеры FRP кода с модальными диалогами?
cc @astynax
Aleksey01.10.2018
12:08:37
12:08:37
Хороший пример - не использовать ФРП
A64m01.10.2018
12:15:53
12:15:53
видимо ничего, кроме рефлекса-то для хаскельного уи ничего живого нет
Maxim01.10.2018
12:16:14
12:16:14
ну я вот сейчас пытаюсь сделать свой хост для рефлекса
размышляю над этим
как лучше, стоит ли и тп
стало интересно, как в фрп делают модальные диалоги
Vyacheslav01.10.2018
12:17:18
12:17:18
смотря в чем
в смысле в браузере, просто в UI
если есть декларативный рендеринг, то это просто
Maxim01.10.2018
12:18:01
12:18:01
ну допустим в браузере
например хочу такой воркфлоу
1. создать диалог по клику кнопки
2. в диалоге что-то там юзер делает, потом кликет OK
3. родительское приложение должно как-то узнать результат диалога
GoogleMaxim01.10.2018
12:18:58
12:18:58
получается надо динамически создать Event, который сработает, когда диалог завершится? а как вызывающий код должен выглядеть?
например по выходу из диалога я хочу, допустим, послать http запрос с какими-то данными
Denis01.10.2018
12:19:24
12:19:24
Александр01.10.2018
12:19:50
12:19:50
Не знаю, что там насчет модальности, но мы использовали порт reflex-dom на purescript. Довольно проблематично
Maxim01.10.2018
12:20:45
12:20:45
а, это тоже в ghcjs?
Denis01.10.2018
12:20:52
12:20:52
вот тут модалка
https://github.com/EugeneN/twic2/blob/master/frontend/src/Components/UserInfo.hs
да это ghcjs
Maxim01.10.2018
12:21:05
12:21:05
я смотрю рефлексы для десктопных фреймворков не живые
Александр01.10.2018
12:21:12
12:21:12
Не знаю, что там насчет модальности, но мы использовали порт reflex-dom на purescript. Довольно проблематично
Кода нет, но ощущение как от болтов и гаек, у которых очень хитрая резьбаMaxim01.10.2018
12:21:48
12:21:48
@pic bill gates
Кода нет, но ощущение как от болтов и гаек, у которых очень хитрая резьба
а какой подход к деланию UI тебе больше нравится?TEA?
Открыть в Telegram