A
Но вообще для этого пакет есть
А что за пакет?
Size: a a a
2020 November 11
KV
Зачем так длинно через фмап, можно просто внимательно посмотреть и понятно
MK
я бы так не писал
MK
и на ревью бы сказал переделать
A
Зачем так длинно через фмап, можно просто внимательно посмотреть и понятно
Ну хз, а вот внимательно смотрю и мне не особо понятно. Понятнее стало только когда в сигнатуру посмотрел.
к
А код вида
((f. ) .) . g в реальных проектах использутся?ну вот такой может быть
f . (. g) . (h .) . t
f . (. g) . (h .) . t
KV
Ну хз, а вот внимательно смотрю и мне не особо понятно. Понятнее стало только когда в сигнатуру посмотрел.
(f .) . g читается как "применить f после функции, которую вернёт g"
A
Забавный у них нейминг =)
A
(f .) . g читается как "применить f после функции, которую вернёт g"
А вот так понятнее стало, спасибо.
AV
А код вида
((f. ) .) . g в реальных проектах использутся?скорее нет, чем да
AV
ну вот такой может быть
f . (. g) . (h .) . t
f . (. g) . (h .) . t
А вот такое уже точно нет
c
Очень интересные вещи происходят. Я так понимаю в последнем случае многие
fmap раскрываются в (.)?> :t fmap fmap fmap fmap
fmap fmap fmap fmap
:: (Functor f1, Functor f2, Functor f3) =>
f1 (f2 (a -> b)) -> f1 (f2 (f3 a -> f3 b))
> :t fmap fmap fmap fmap fmap
fmap fmap fmap fmap fmap
:: Functor f => (a1 -> b) -> (a2 -> a1) -> f a2 -> f b
DR
fmap fmap и в продакшен
к
certifiable fleece
Очень интересные вещи происходят. Я так понимаю в последнем случае многие
fmap раскрываются в (.)?> :t fmap fmap fmap fmap
fmap fmap fmap fmap
:: (Functor f1, Functor f2, Functor f3) =>
f1 (f2 (a -> b)) -> f1 (f2 (f3 a -> f3 b))
> :t fmap fmap fmap fmap fmap
fmap fmap fmap fmap fmap
:: Functor f => (a1 -> b) -> (a2 -> a1) -> f a2 -> f b
когда мы уже делаем fmap fmap fmap, тут определяется тип функтора внешнего, так как аргумент - fmap, то и функтор - стрелка
поэтому fmap fmap fmap это fmap . fmap
поэтому fmap fmap fmap это fmap . fmap
AV
сколько fmap помещается на кончике иглы?
KV
А вот такое уже точно нет
Но это-то понятнее, не так понятно как с профункторными методами конечно
YR
у меня в свое время такое запороли в ревью, типа нечитабельно )
AV
правильно сделали!