AT
достойно премиум члена айти сообщества
Size: a a a
2020 August 12
Oℕ
монада относительно (R, A) - MonadWriter
D
аниме в 30 лет можно смотреть?
Oℕ
монада относительно R => A -MonadReader
Oℕ
выходит можно не придумывать абстракции
Oℕ
а индексировать типами данных
P
монада относительно R => A -MonadReader
что значит A -MonadReader?
Oℕ
и получать капабилити
Oℕ
Pavel
что значит A -MonadReader?
монада
относительго
относительго
R => AOℕ
P
а понял, это тире
ᛒ
даме даё?
бака митай
Oℕ
Pavel
а понял, это тире
pure(f: R => A): F[A]
bind(fa: F[A])(f: (R => A) => F[B]): F[B]
ask: F[R] = pure(identity)
local(fa: F[A])(f : R => R): F[A] = bind(fa)(g => pure(r => g(f(r)))
bind(fa: F[A])(f: (R => A) => F[B]): F[B]
ask: F[R] = pure(identity)
local(fa: F[A])(f : R => R): F[A] = bind(fa)(g => pure(r => g(f(r)))
Oℕ
Pavel
а понял, это тире
c врайтером
pure(f: (W, A)): F[A]
bind(fa: F[A])(f: ((W, A)) => F[B]) : F[B]
tell(w: W): F[Unit] = pure((w, ())
listen(fa: F[A]): F[( W, A)] = bind(fa){case (w, a) => pure(w, a).map(a => (w, a)))
pure(f: (W, A)): F[A]
bind(fa: F[A])(f: ((W, A)) => F[B]) : F[B]
tell(w: W): F[Unit] = pure((w, ())
listen(fa: F[A]): F[( W, A)] = bind(fa){case (w, a) => pure(w, a).map(a => (w, a)))
Oℕ
нужно только понять когда монада относительно функтора является ещё и просто монадой
Oℕ
чтобы это стало совсем капабилити