SK
Size: a a a
2020 October 14
S
There is no such get "monad8"
𝛈µ
Только прозрачные структуры
SK
/set monad8 Монада - вредная, сложная структура
𝛈µ
А секвентные блекбоксы - залупа
Oℕ
профункторы вместе с функторами оч фундаментальную штуку образуют, называющуюся оснащением
Oℕ
через неё можно выразить сопряжения и половину теоркатного говна, но уже для более общих структур, чем бикатегория Set\ProSet
𝛈µ
Пердоличные залупы для пердоликов
Oℕ
в ФП профункторы используют для всякого говна типа профункторых оптик
Oℕ
и разных форм обобщения функции
Oℕ
ᛒ
Пердоличные залупы для пердоликов
w
Эх, сча бы выводится
Oℕ
в среднем профунктор в скале выглядит примерно так
F[-_, +_]
F[-_, +_]
𝛈µ
Это неважно для тебя
AS
Пердоличные залупы для пердоликов
Тыж сам пердолик.
Oℕ
с одной стороны контравариантный, с другой - ковариантный
𝛈µ
Ты ж безблагодатный крудошлёп