@haskellru
Kirill25.10.2018
18:52:41
18:52:41
Alexander25.10.2018
19:26:48
19:26:48
Artyom25.10.2018
19:27:44
19:27:44
https://github.com/dhall-lang/dhall-kubernetes
Мы первого автора захайрили ?
Когда он до нас дойдёт, будем пытаться пропихнуть dhall-kubernetes, потому что сейчас полтимы (ну то есть два человека, лан, в тиме всего нас четыре) пытаются избежать k8s как чумы
Google
Abbath25.10.2018
19:34:17
19:34:17
https://github.com/ghc-proposals/ghc-proposals/pull/111#issuecomment-431944078
Alexander25.10.2018
19:42:11
19:42:11
не удобно
как я понял структуры с кучей Maybe и какой-то полиморфизм хотелось
типа работать над частью полей и пофиг что там ещё в структуре
а такое на дхале нельзя (или было нельзя написать)
Artyom25.10.2018
19:48:43
19:48:43
Так, воспользуюсь чатиком очень нагло, очень подло
* кто-нибудь в ближайшее время может меня захостить в Риме на несколько дней?
* а с меня рассказ про сервант или про линзы или про TH или ещё про что-нибудь
Terminator25.10.2018
19:57:05
19:57:05
@kirill_gla будет жить. Поприветствуем!
Кирилл25.10.2018
20:01:13
20:01:13
добрый вечер. Я хотел обратиться сюда с вопросом. У меня не печатаются non-ascii символы: когда я пишу в коде putStrLn "λ", код крашится с сообщением *** Exception: <stdout>: hPutChar: invalid argument (invalid character). Подскажите, пожалуйста, чем это может быть вызвано и как это исправить?
Alexander25.10.2018
20:02:10
20:02:10
ось какая?
Кирилл25.10.2018
20:02:30
20:02:30
windows 10
GoogleAlexander25.10.2018
20:02:56
20:02:56
@A64m_qb0 ^
A64m25.10.2018
20:19:19
20:19:19
ммммм
hSetEncoding System.IO.stdout $ utf8
?
Kakadu25.10.2018
20:21:40
20:21:40
@kirill_gla У вас же линукс был?..
Кирилл25.10.2018
20:32:10
20:32:10
@Kakadu18 падает именно на винде, на линуксе ещё не пробовал
@A64m_qb0, благодарю, теперь не падает, но и лямбду не выводит
Artyom25.10.2018
21:20:00
21:20:00
Так, а какие у нас есть еще type-level DSLs, которые народ юзает? Кроме серванта
Не хочется про один сервант рассказывать, а то еще скажут, что мол “ну вот опять про сервант, сколько можно”
Alexander25.10.2018
21:28:29
21:28:29
у зефирова HHDL
проводки связывать
http://hackage.haskell.org/package/HHDL
но там старый type level
Кирилл25.10.2018
21:34:34
21:34:34
@swamp_agr спасибо, помогло
Google
Andrey25.10.2018
21:35:09
21:35:09
дефолтная кодировка консоли винды cp866, а ты юникод туда пишешь
ща не вспомню, как в винде кодировку экспортнуть, чтобы каждую сессию не надо было переустанавливать
Dmitry26.10.2018
05:21:50
05:21:50
а вот в категорию "новички страдают"
медленно внедряю хаскель в кложекоманду, товарищи несколько недоумевают, увидев HM.fromList [(1, "foo"), (2, "bar")] вместо {1 "foo" 2 "bar"}
я знаю только про OverloadedLists и про "да хэшмапы в сто раз реже нужны, чем в этой вашей кложе"
есть еще какие-нибудь способы унять боль?
Alexander26.10.2018
05:39:28
05:39:28
есть еще какие-нибудь способы унять боль?
Тут, как мне кажется, нужно рассматривать каждый отдельный случай и объяснять человеку почему хэшмап тут не нужен. А там где нужен, боль унимать особо и незачем, ибо там хэшмапы в большинстве случаев строятся алгоримтически, а не создаются вручную.Terminator26.10.2018
06:00:07
06:00:07
@bachkovsky будет жить. Поприветствуем!
Dmitry26.10.2018
06:02:18
06:02:18
есть еще какие-нибудь способы унять боль?
Введи операторы, чтобы делать мапы как-то так: 1 @: "foo" @@ 2 @: "bar"Хотя лучше, как @nexmean предлагает: вести воспитательную работу
Alexander26.10.2018
06:04:56
06:04:56
Введи операторы, чтобы делать мапы как-то так: 1 @: "foo" @@ 2 @: "bar"
тогда лучше уж так
HM.fromList [ 1 => "foo"
, 2 => "bar"
]а, такой оператор нельзя оказывается сделать...
Artyom26.10.2018
06:06:33
06:06:33
Я делал что-то вроде
hm :: Writer [(k, v)] () -> Map k v
Alexander26.10.2018
06:07:14
06:07:14
Dmitry26.10.2018
06:09:10
06:09:10
==>
kana26.10.2018
06:13:24
06:13:24
а, такой оператор нельзя оказывается сделать...
а, именно такие символы для опратора нельзя, да, сам оператор как суть можно
Dmitry26.10.2018
07:09:26
07:09:26
What you's favorite weird/exotic data type? - haskell
https://www.reddit.com/r/haskell/comments/9qx172/what_yous_favorite_weirdexotic_data_type/
GoogleLeonid26.10.2018
08:00:47
08:00:47
http://hackage.haskell.org/package/map-syntax-0.3/docs/Data-Map-Syntax.html
Alexander26.10.2018
08:03:20
08:03:20
do { a ## b ; c ## d}
а вообще воспитательную работу про то, что ключ и значение четко разделены и не надо считать четное значение или нечётное чтобы понять что это
Андрей26.10.2018
08:34:07
08:34:07
вангую еще боль от отсутствия (или тщательно скрываемого варианта через динамик) гетерогенных коллекций, и что любые кейсы надо костылить через атд
Alexander26.10.2018
08:35:50
08:35:50
вангую еще боль от отсутствия (или тщательно скрываемого варианта через динамик) гетерогенных коллекций, и что любые кейсы надо костылить через атд
да ну, атд это же благо, которая позволяет явно матчить что-то вместо того, чтобы по каким-то косвеным признакам в коде выяснять, что же это такое к нам пришлоАндрей26.10.2018
08:37:04
08:37:04
ок, соглашусь - трудно спорить с сектантами
Александр26.10.2018
08:37:22
08:37:22
вы какие-то серьезные очень, я не понимайт вас :(
Alexander26.10.2018
08:38:10
08:38:10
вчера в докладе про кложу был pattern matching через filter
такое себе
при этом было сказано, что это типа структура с такими полями
врочем у нас то матчить тоже не обязательно как с ViewPattern так и с PatternGuards и по умолчанию
а гетерогенные коллекции, не факт, что вообще нужны
Alexander26.10.2018
08:39:35
08:39:35
ок, соглашусь - трудно спорить с сектантами
я стал таким вот свидетелем церкви атд сразу как только их первый раз увидел (это было в расте)Alexander26.10.2018
08:39:40
08:39:40
для работы, а не хранения
Aleksey26.10.2018
08:40:13
08:40:13
Так, а какие у нас есть еще type-level DSLs, которые народ юзает? Кроме серванта
https://github.com/typeable/schematicGoogleАндрей26.10.2018
08:40:55
08:40:55
ага, дата жсон = … | … , и конечно не нужны ?
Alexander26.10.2018
08:41:36
08:41:36
JSON это *не* гетерогенная коллекция
Андрей26.10.2018
08:41:58
08:41:58
это да гетерогенная коллекция
Alexander26.10.2018
08:42:03
08:42:03
это коллекция Value, где *Value* это отображение спецификации того, что есть в JSON
Андрей26.10.2018
08:43:12
08:43:12
как сдделаю ее однопараметрическим дататайпом по заветам атд - так и сделаю
как маленькие опять
Alexander26.10.2018
08:44:40
08:44:40
как сдделаю ее однопараметрическим дататайпом по заветам атд - так и сделаю
покажи мне как ты положишь к коллекцию JSON объектов STM переменную и какой это будет иметь смыслвсе JSON объекты это мономорфная коллекция JSON обьектов
список объектов в кложе тоже мономорфный
Андрей26.10.2018
08:45:38
08:45:38
да также как и в список и в мэйби - в параметрический атд можно что угодно положить же
Alexander26.10.2018
08:45:59
08:45:59
но это будет мономорфный тип
а ты что-то писал про гетерогенность
для этой задачи необходимость тоже есть
но ооочень редкая
Открыть в Telegram