В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1587 membersпожаловаться на группу
2021 May 18

к

кана in Haskell
там ничего нет из Control.Arrow важного
источник
22:40пожаловаться#1

к

кана in Haskell
можно заменить на first (const def) . g
источник
22:40пожаловаться#2

IO

I O in Haskell
(Тут если что нет стрелок, first из бифункторов)
источник
22:40пожаловаться#3

DM

Dmitriy Mozhevitin in Haskell
>>>
источник
22:41пожаловаться#4

DM

Dmitriy Mozhevitin in Haskell
(>>>) :: Category cat => cat a b -> cat b c -> cat a c
источник
22:41пожаловаться#5

IO

I O in Haskell
(>>>) это просто flip (.)
источник
22:41пожаловаться#6

к

кана in Haskell
ну вот можно заменить f >>> g на g . f
источник
22:41пожаловаться#7

DM

Dmitriy Mozhevitin in Haskell
да
источник
22:41пожаловаться#8

DM

Dmitriy Mozhevitin in Haskell
точно
источник
22:41пожаловаться#9

IO

I O in Haskell
В данном случае cat = (->)
источник
22:41пожаловаться#10

DM

Dmitriy Mozhevitin in Haskell
да, вроде как вкурил
источник
22:43пожаловаться#11

DM

Dmitriy Mozhevitin in Haskell
сильно)
источник
22:43пожаловаться#12

OS

Oleksandr Shyshko in Haskell
спасибо. переписал на инстанцы (запушил) -- минус 17 строк
источник
22:53пожаловаться#13

JS

Jerzy Syrowiecki in Haskell
пошёл я к Вадлеру и спросил. он говорит, что "list comprehension" comes from "set comprehension", вот и вся этимология. а как оно в математике появилось, это не его заслуга
источник
22:54пожаловаться#14

JS

Jerzy Syrowiecki in Haskell
круто работать в отрасли, где ещё не все корифеи умерли
источник
22:55пожаловаться#15

AL

Alexander Luzgarev in Haskell
Ну потому что оно comprehensive
источник
23:34пожаловаться#16

L

Lierdakil in Haskell
ну если так, можно копнуть глубже. у самой нотации ноги растут из аксиоматики Цермело-Френкеля, конкретно из т.н. "схемы выделения" (которая образует множество аксиом)
источник
23:35пожаловаться#17

L

Lierdakil in Haskell
выделения -- в смысле подмножества из множества (элементы которого удовлетворяют предикату)
источник
23:35пожаловаться#18

AL

Alexander Luzgarev in Haskell
Ну допустим не множество
источник
23:36пожаловаться#19

JS

Jerzy Syrowiecki in Haskell
до ЦФ её не использовали? это же довольно примитивный способ определить множество
источник
23:36пожаловаться#20