Oℕ
тогда его алгебры должны выглядеть как изоморфизмы F[A] <=> A
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
450 membersпожаловаться на группу
2019 December 23
λ
а конравариантные функторы вообще где-то встречаются?
Oℕ
в общем, если доёбываться к формулировкам будет сразу понятно ,что почти всегда 95% контекста опускается
Oℕ
а конравариантные функторы вообще где-то встречаются?
ну да
Oℕ
ты имеешь в виду в математике или в ФП
Oℕ
да и фп тоже
в ФП везде, где что-то энкодится, конзумится
Oℕ
логгер, принтер, Sink
ᛒ
nice
тыж писал на хачкеле
λ
да, но ниразу не юзал Contravariant
λ
да и я не писал прод на хаскеле, как Олег
Oℕ
ну я тоже так слабо вспоминаю, где он там прям светится
Oℕ
в сигнатурах логгеров каких-то, да геттера в ленз
Oℕ
Functor f + Contravariant f = a фантомный в f
λ
ты часто использовал?