Size: a a a

2020 November 23

MK

Maxim Koltsov in Haskell
ни слова
источник

KV

Kirill Valyavin in Haskell
кана
если ты возьмешь содержимое призмы, то там просто будут таплы
Мне таплов и надо
источник

KV

Kirill Valyavin in Haskell
Я когда увидел значок интеграла, сразу перестал читать, плохо стало. Травма
источник

к

кана in Haskell
но тогда же не получится использовать траверсалы полей(
источник

KV

Kirill Valyavin in Haskell
кана
но тогда же не получится использовать траверсалы полей(
Ну и не надо, надо fmap (uncurry C)
источник

KV

Kirill Valyavin in Haskell
Вот ещё кстати, значки с долларами для ехал фмап через фмап мне понравились, а как обозвать когда ехал травёрс через травёрс? Вообще конечно хочется общую конструкцию для этих двух вещей
источник

KV

Kirill Valyavin in Haskell
peelNTimes, где N догадайся сам
источник

KV

Kirill Valyavin in Haskell
Хотя не, это будет вообще безумие
источник

AA

A64m AL256m qn<co... in Haskell
Kirill Valyavin
peelNTimes, где N догадайся сам
это называется "дженерики типа униплейта"
источник

IK

Ilya Kos in Haskell
Какие есть причины не использовать ScopedTypeVariables?
источник

IK

Ilya Kos in Haskell
Помимо крайних случаев несовместимости
источник

IK

Ilya Kos in Haskell
С кодом который не ждет этого расширения
источник

AA

A64m AL256m qn<co... in Haskell
типа
foo ^.. известныеТраверсалы . cosmos . известные
источник

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
Какие есть причины не использовать ScopedTypeVariables?
их нет
источник

IK

Ilya Kos in Haskell
👍
источник

IK

Ilya Kos in Haskell
Включаем в Haskell2020!
источник

AA

A64m AL256m qn<co... in Haskell
не включат
источник

KV

Kirill Valyavin in Haskell
A64m AL256m qn I0
это называется "дженерики типа униплейта"
Я боюсь, что такая штука может зохавать аргумент с неправильным типом и не поморщиться, с не тем N, который имелся в виду, или травёрсом вмессто фмапа, или типа того
источник

IK

Ilya Kos in Haskell
почему
источник

IK

Ilya Kos in Haskell
A64m AL256m qn I0
не включат
Hakell2020 просто сделают синонимом OverloadedStrings?
источник