Очень интересные вещи происходят. Я так понимаю в последнем случае

Question

Очень интересные вещи происходят. Я так понимаю в последнем случае

многие 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

#haskell #programming #russian

0

11.11.2020

1 ответов

8 просмотров

кана · Accepted Answer

кана

когда мы уже делаем fmap fmap fmap, тут определяется тип функтора внешнего, так как аргумент - fmap, то и функтор - стрелка поэтому fmap fmap fmap это fmap . fmap

0

11.11.2020

169 похожих чатов

Очень интересные вещи происходят. Я так понимаю в последнем случае

1 ответов

Похожие вопросы