Alexander
Может, объявить функцию, извлекающую d из этих трех кейсов, и запихать ее во ViewPattern?
Leonid 🦇
getDur = \case
ModDur ... ->
Note ... ->
Ilya
Может, объявить функцию, извлекающую d из этих трех кейсов, и запихать ее во ViewPattern?
ну это лишь пример из ссылки на haskell-wiki
Ilya
мне не нужно рефакторить конкретно этот пример :)
Ilya
просто хочется сводить несколько паттернов в case в одну стрелку
Alexander
Пока мы тут болтаем, уже все можно ручками написать было :)
Ilya
уже и написано ручками
Ilya
но вопрос остался
Leonid 🦇
просто хочется сводить несколько паттернов в case в одну стрелку
пусть тело будет в where и получает бинды аргументами. все так делают.
Anonymous
Но такое дело: когда на недавней конференции C++ Russia я увидел новое поколение плюсовиков, живо интересующихся ФП, я почувствовал, что выполнил одну из своих метазадач. Видимо, критическая масса интересующихся набрана, и можно идти отдыхать от популяризации.
https://pbs.twimg.com/profile_images/2385194384/8xbs11eo6zg8dzl7nbcm.jpeg
Alexander
https://pbs.twimg.com/profile_images/2385194384/8xbs11eo6zg8dzl7nbcm.jpeg
Я не очень понял :)
Leonid 🦇
Москвин топит за ФП среди плюсовиков?
Alexander
А он топит?
Anonymous
ОК. Наверное контекст важен
Anonymous
а я думал новое поколение плюсовиков это те кто пишут на расте
Alexander
а я думал новое поколение плюсовиков это те кто пишут на расте
Ну я ж тоже на плюсовой конференции был, хотя на плюсах и не пишу
Alexander
Кстати, было здорово развиртуализироваться с @lonokhov и @qnikst.
Alexander
+
Leonid 🦇
тру
Alexander
Норм ребята оказались
Anonymous
Идея на злобу дня:
https://www.alibabacloud.com/solutions/hosting
Думаю, злыдни этих не закупорят. Это не гу.
Nikita
Идея на злобу дня:
https://www.alibabacloud.com/solutions/hosting
Думаю, злыдни этих не закупорят. Это не гу.
алибабу банили уже, правда не очень сильно
Anonymous
А под каким предлогом?
AliExpress был доступен?
Nikita
ну не алиэкспресс, облако их, зону во франкфурте побанили. Причина — решение Генпрокуратуры, как и по всем остальным забаненным подсетям. Реальная причина — хз, либо телега свои серваки там поднимала, либо кто-то прокси публичный делал, какие там еще причины
Rigidus
/
Alexander
Упрётся в неполноту аксиоматика чисел Пеано?
там же не Пеано, с ними бы все ок было в этом отношении
Антон
Неужели пруверы для чисел, встроенные в компилятор?
Alexander
проблема в том что Nat неиньективный, нету индукции
Alexander
и аксиомы не сделать нормально
Alexander
в итоге если там что-то сложнее n+m, то все плохо
Alexander
есть пакеты и плагины упрощающие жизнь, но индуктивные классы типов не пописать
Alexander
а хочется обычно
Alexander
и тайпфемили
Антон
анонимные рекорды бы не помешали, да
Антон
и еще тайплевел лямбды
Антон
и губозакаточную машинку
Антон
есть пакеты и плагины упрощающие жизнь, но индуктивные классы типов не пописать
Так, я чего-то не понимаю. Зачем для чисел Пеано индуктивные тайпклассы?
Alexander
для всей генерации кода, методов и доказательств
Kirill
Может из https://summerofcode.withgoogle.com/projects/#6085694691213312 родится что-нибудь полезное?
Dmitry
т.е. Tagged (a::Symbol) b
Vladislav
Ну открой определение и увидишь. Да, Tagged
Leonid 🦇
Может из https://summerofcode.withgoogle.com/projects/#6085694691213312 родится что-нибудь полезное?
Надеюсь на хаддоки в интерфейсах
A64m
да, хорошая штука и реалистичный проект, чего о многих других в этом списке не скажешь
Cheese
> Better than the other approaches I know of, e.g. Records, Default typeclass.
replace ::
Text `Named` "needle" ->
Text `Named` "replacement" ->
Text `Named` "haystack" ->
Text
replace (Named replacement) (Named needle) (Named haystack) =
хмммммм...
а это откуда? на Хакадже доступно?
A64m
да
A64m
https://hackage.haskell.org/package/named
A64m
думаю, самое страшное тварение @int_index
Антон
думаю, самое страшное тварение @int_index
------------------------------------------------------------------------------—
— Do not read further to avoid emotional trauma.
—------------------------------------------------------------------------------
Антон
^Из сорцов
A64m
меня именно вид кода, который предполагается пользователю библиотеки писать, травмировал больше всего
Виталий
Кто нибудь может помочь с клнфигом xmonad?
Антон
Кто нибудь может помочь с клнфигом xmonad?
Штатные телепаты в отпуске, пожалуйста, изложите проблему более подробно
Виталий
пробую использовать свой ManageHook для переноса запущенных окон на нужный рабочий стол, например Firefox на 2 рабочий стол, терминал на третий.
Однако doShift и doF(W.shift "имя рабочего стола") не отрабатывают:
myManageHook = composeAll
[ className =? "Firefox-bin" —> moveTo "web"
className =? "xterm" —> doShift "term"
]
where moveTo = doF . W.shift
Где я ошибся?
Антон
пробую использовать свой ManageHook для переноса запущенных окон на нужный рабочий стол, например Firefox на 2 рабочий стол, терминал на третий.
Однако doShift и doF(W.shift "имя рабочего стола") не отрабатывают:
myManageHook = composeAll
[ className =? "Firefox-bin" —> moveTo "web"
className =? "xterm" —> doShift "term"
]
where moveTo = doF . W.shift
Где я ошибся?
На будущее: используй backtick-и для выделения блоков кода, чтобы читалось проще
Виталий
Антон
пробую использовать свой ManageHook для переноса запущенных окон на нужный рабочий стол, например Firefox на 2 рабочий стол, терминал на третий.
Однако doShift и doF(W.shift "имя рабочего стола") не отрабатывают:
myManageHook = composeAll
[ className =? "Firefox-bin" —> moveTo "web"
className =? "xterm" —> doShift "term"
]
where moveTo = doF . W.shift
Где я ошибся?
> не отрабатывают
В смысле? Не компилируется или просто не производит должного эффекта?
Виталий
не производит должного эффекта
jm
А xterm переносит?
jm
Ой, там код другой. Нвм.
Виталий
ничего не переносит в том и вопрос
jm
Ну а myManageHook вставлен в нужное место?
jm
Ты скинь конфиг весь ссылкой на гитхаб. Или что там в России не заблокировано ещё? Битбакет?
Dmitry
localhost
Alexander
вроде локалхост уже банили, слава богу он доступен без участия провайдера
тот
вроде локалхост уже банили, слава богу он доступен без участия провайдера
это якобы шутка(для справки)
A64m
одобрили
https://github.com/ghc-proposals/ghc-proposals/pull/109
Рулевой комитет наконец нащупал работающий процесс:
> no comments. But two +1 and otherwise silent
agreement. I conclude that we have reached positive consensus.
A64m
Два мира, два Саймона:
Марлоу - 19 месяцев и продолжает ждать
Пейтон Джонс - приняли за 3 месяца
Alexander
а расскажите тупому как правильно сериализовать ключ RSA сгенеренный криптонитом, чтобы его потом загрузить!
Alexander
?
Alexander
private_d достаточно сохранить?
Alexander
(ну и private_pub почему-то)
A64m
> I am also working on the linear types branch. Arnaud is quite keen for it to be ready for 8.6 but we still have a bit to go.
хммммм
Leonid 🦇
а к серванту вменяемый multipart с файлами запилили?
Зигохистоморфный
а к серванту вменяемый multipart с файлами запилили?
так вот жеж https://github.com/haskell-servant/servant-multipart
Leonid 🦇
он не нормальный
Alexander
у нас как всегда свой