AP
это всё ещё композиция функций одного аргумента
Size: a a a
2021 December 10
AP
просто так вышло, что первый fmap принимает аргументом функцию
AP
(*) . (+) такое уже не пройдёт проверку типовAP
filter . (<) а это пройдётD
понятнее, спасибо Алексей
AP
((Int->Bool) -> ([Int]->[Int])) -> (Int -> (Int->Bool)) -> (Int -> ([Int]->[Int]))AP
Это всё та же композиция
(b -> c) -> (a -> b) -> (a -> c)Просто тут часть типов — функции
D
а ещё такой вопрос: почему компилятор говорит, что
?
‘liftA2’ is not a (visible) method of class ‘Applicative’?
D
я его пытаюсь определить в инстансе аппликатива
ведь он там и должен быть
ведь он там и должен быть
AP
Метод не экспортирован в Prelude, поэтому и not a visible
AP
Импортируйте из
Control.ApplicativeAP
Но зачем этот метод определять? Не хотите определять <*>?
D
Если я правильно понимаю, лифт - это алиас для <$> <*>
А определяю я его просто из любопытства
А определяю я его просто из любопытства
AP
не алиаc
AP
просто liftA2 и <*> выражены друг через друга, чтобы нужно было реализовывать что-то одно
AP
Но могут быть ситуации, когда эффективнее реализовать отдельно <*> и liftA2. Только бывает такое очень редко, поэтому лучше пользоваться умолчательным определением одного через другое
[
ну так композиция функторов через точку довольно идиоматична
AP
Скажем так,
fmap . fmap можно встретить часто. Паттерн "перепрыгнуть уровень" :)