MK
ни слова
Size: a a a
2020 November 23
KV
если ты возьмешь содержимое призмы, то там просто будут таплы
Мне таплов и надо
KV
а что не понятно?
Я когда увидел значок интеграла, сразу перестал читать, плохо стало. Травма
KV
но тогда же не получится использовать траверсалы полей(
Ну и не надо, надо fmap (uncurry C)
KV
Вот ещё кстати, значки с долларами для ехал фмап через фмап мне понравились, а как обозвать когда ехал травёрс через травёрс? Вообще конечно хочется общую конструкцию для этих двух вещей
KV
peelNTimes, где N догадайся сам
KV
Хотя не, это будет вообще безумие
AA
peelNTimes, где N догадайся сам
это называется "дженерики типа униплейта"
AA
типа
foo ^.. известныеТраверсалы . cosmos . известные
foo ^.. известныеТраверсалы . cosmos . известные
AA
Какие есть причины не использовать ScopedTypeVariables?
их нет
AA
не включат
KV
это называется "дженерики типа униплейта"
Я боюсь, что такая штука может зохавать аргумент с неправильным типом и не поморщиться, с не тем N, который имелся в виду, или травёрсом вмессто фмапа, или типа того
IK
не включат
Hakell2020 просто сделают синонимом
OverloadedStrings?