D
Ну привыкание физеологическое вызывает что-угодно, что взаимодействует с рецепторами любыми на нейронах
привыкание к скала?
Size: a a a
2020 August 12
Oℕ
пока дима не начал спрашивать как бизнесу поможет
KC
привыкание к скала?
Как привыкание помогает бизнесу?
D
пока дима не начал спрашивать как бизнесу поможет
как мои вопросы помогут бизнесу?
KC
Как привыкание к бизнесу вызовет вопросы Димы?
KC
О, наконец аниме про скалолазанье
KC
Олег ты доволен?
KC
@dmsol а аниме про жаву есть?
ᛒ
есть аниме про рыбалку
KC
Нужно про фабрики
P
значит unit мы получили
а дальше совсем непонятно становится
Oℕ
так как же сделать байнд.
в обычной монаде есть f: C(a, RLb)
подставляя в сопряжение получаем С(a, RL b) = D(La, Lb) действуем на морфизм функтором R получаем C(RLa, RLb)
теперь тут есть морфизм С(Ja, RLb),
подставляя в относительное сопряжение получаем D(L(a), L(b)), действуем на морфизм функтором R, получаем C(RLa. RL(b))
так и выходит сигнатура для монады F, относительно J
pure: J(a) -> F(a)
bind: (J(a) -> F(b)) -> (F(a) -> F(b))
в обычной монаде есть f: C(a, RLb)
подставляя в сопряжение получаем С(a, RL b) = D(La, Lb) действуем на морфизм функтором R получаем C(RLa, RLb)
теперь тут есть морфизм С(Ja, RLb),
подставляя в относительное сопряжение получаем D(L(a), L(b)), действуем на морфизм функтором R, получаем C(RLa. RL(b))
так и выходит сигнатура для монады F, относительно J
pure: J(a) -> F(a)
bind: (J(a) -> F(b)) -> (F(a) -> F(b))
w
так как же сделать байнд.
в обычной монаде есть f: C(a, RLb)
подставляя в сопряжение получаем С(a, RL b) = D(La, Lb) действуем на морфизм функтором R получаем C(RLa, RLb)
теперь тут есть морфизм С(Ja, RLb),
подставляя в относительное сопряжение получаем D(L(a), L(b)), действуем на морфизм функтором R, получаем C(RLa. RL(b))
так и выходит сигнатура для монады F, относительно J
pure: J(a) -> F(a)
bind: (J(a) -> F(b)) -> (F(a) -> F(b))
в обычной монаде есть f: C(a, RLb)
подставляя в сопряжение получаем С(a, RL b) = D(La, Lb) действуем на морфизм функтором R получаем C(RLa, RLb)
теперь тут есть морфизм С(Ja, RLb),
подставляя в относительное сопряжение получаем D(L(a), L(b)), действуем на морфизм функтором R, получаем C(RLa. RL(b))
так и выходит сигнатура для монады F, относительно J
pure: J(a) -> F(a)
bind: (J(a) -> F(b)) -> (F(a) -> F(b))
Лучше xml, можно теги на кириллице написать и сразу будет читаемо
Oℕ
если поставить B = C = D = Scala, получаем, что F является монадой относительно эндофунктора J когда имеются функции
def pure[A](a: J[A]) : F[A]
def bind[A, B](fa: F[A])(f: J[A] => F[B]): F[B]
def pure[A](a: J[A]) : F[A]
def bind[A, B](fa: F[A])(f: J[A] => F[B]): F[B]
AD
как мои вопросы помогут бизнесу?
Зачем помогать бизнесу
D
Зачем помогать бизнесу
жрат
AD
От того что бизнесу хорошо ты не получишь ничего кроме зарплаты