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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

IO

I O in Haskell
Наверное не поменяет, но все равно, зачем лишнюю работу делать? А <&&> у меня в голове почему-то селективный, так что все равно short-circuiting (хотя в протолюде аппликативный, да)
источник
21:56пожаловаться#1

L

Lierdakil in Haskell
Если предположить что там какая-то вариация на тему Reader, то совершенно не важно есть shrot-circuiting или нет, всё равно второй аргумент (&&) не вычислится если не надо. Если что-то более навороченное то ок.
источник
22:08пожаловаться#2

[

[BRM]White Rabbit in Haskell
да, там ридер
источник
22:18пожаловаться#3

[

[BRM]White Rabbit in Haskell
Прекрасный тип. 10 типов из 10
источник
22:19пожаловаться#4

L

Lierdakil in Haskell
у меня смутный соблазн η-редукцию сделать ему.
источник
22:23пожаловаться#5

[

[BRM]White Rabbit in Haskell
Предлагай, как
источник
22:24пожаловаться#6

IO

I O in Haskell
У меня явный соблазн сделать 

type GameMetadata r a = [GameBinaryConfig, ProcessHandle, DllBase, LocalBase] :< r => ReaderT r IO a
источник
22:25пожаловаться#7

[

[BRM]White Rabbit in Haskell
ого, прикольно
источник
22:25пожаловаться#8

IO

I O in Haskell
но тут ConstraintKindовая и TypeFamiliesная магия нужна
источник
22:26пожаловаться#9

[

[BRM]White Rabbit in Haskell
Откуда это импортится?
источник
22:27пожаловаться#10

IO

I O in Haskell
Я руками предлагал написать, есть ли где конкретно для Has не знаю
источник
22:28пожаловаться#11

[

[BRM]White Rabbit in Haskell
Нет нигде, это вообще либа одного чела с хабра
источник
22:28пожаловаться#12

[

[BRM]White Rabbit in Haskell
:D
источник
22:28пожаловаться#13

L

Lierdakil in Haskell
a убрать с обеих сторон с конца. это ничего почти не поменяет конечно кроме того что GameMetadata внезапно можно будет не применять ко второму аргументу везде
источник
22:28пожаловаться#14

[

[BRM]White Rabbit in Haskell
сломалось
источник
22:30пожаловаться#15

к

кана in Haskell
type family xs :< r where
 '[] :< r = ()
 (x:xs) :< r = (Has x r, xs :< r)
источник
22:30пожаловаться#16

L

Lierdakil in Haskell
значит я чего-то недоглядел
источник
22:31пожаловаться#17

[

[BRM]White Rabbit in Haskell
источник
22:33пожаловаться#18

IO

I O in Haskell
Там же это все под =>, так что не заредьюсить
источник
22:33пожаловаться#19

к

кана in Haskell
а ну включи ConstraintKinds и проставь тип еще мб
источник
22:33пожаловаться#20