𝛈µ
структура с одной операцией и двумя законами
Size: a a a
2020 October 14
𝛈µ
про про функтор.
сложная структура, состоящая из двух бифункторов с разной вариантностью и вообще идите нахуй
SK
сложная структура, состоящая из двух бифункторов с разной вариантностью и вообще идите нахуй
объясните копрофунктор на примерах.
Oℕ
профунктор - это бифунктор в Set, M-профунктор - М-бифунтор в M. я победил?
ᛒ
профунктор - это бифунктор в Set, M-профунктор - М-бифунтор в M. я победил?
ззалупа
ᛒ
похоже да
S
There is no such get "залупа"
Oℕ
правда так и не понял смысол в порядке
AT
/get залупа
а это упущение
S
лол
это чья головка из залупы показалась сча?
это чья головка из залупы показалась сча?
Oℕ
типа
бифунктор (op(D)х С) -> Set - это профунтор из C в D
бифунктор (op(D)х С) -> Set - это профунтор из C в D
Oℕ
ну такое вот название
ᛒ
помню меня Олег подъебал как то
ᛒ
и пришлось идти на нкат
ᛒ
и смотреть че такое профунктор
Oℕ
Профунктор - частный случай функтора
Oℕ
В чём отличие айфона от телефона?
ᛒ
а ето оказалось бифунктор в одной стороны ковариантный, с другой контра