Oℕ
ну в каком-то смысле ты прав
Size: a a a
2020 April 29
Oℕ
просто это такой бифунктор, что его бифункториальность невозможно нормально использовать
λ
ну ок, а таипкласс то какой будет?
Oℕ
а вот трактовать его как эндофунктор высшего порядка (Type -> Type) -> (Type -> Type) даёт кое-какие профиты
λ
trait MySuperPuperConverter[S[_[_], _] ] ?
λ
а вот тут уже вопрос возникает, а если у тебя стрим однодырочный?
Oℕ
ну тогда не будет для него этого тайпкласса
Oℕ
будет 9 других, которые мы выше обсудили
λ
а, ну тогда ты простой функтор сделаешь
λ
ок
λ
я прост подумал, что может быть прям абстракция под все типы стримов
Oℕ
простые монады, альтернативы, лифты и так предполагаются
Oℕ
ну мы специально обсудили, что большую часть действий с первым аргументом параметризованных функтором стримов можно делать на базе FunctorK, ApplyK и подобных
Oℕ
собственно, там особенно кроме translate и covary и нет ничего
λ
ну я тут спрашиваю про конвертер из стрима в реактив скорее
Oℕ
что-то у тебя мысли скачут, как это относится к первой дырке и зависимости стрима от функтора?
λ
да никак, я изначально имел ввиду как раз конвертацию из разных типов стримов
Oℕ
думаю, там будет просто Lift[Publisher, S]
Oℕ
возможно Unlift[Publisher, S]