Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)

2020 August 12

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
достойно премиум члена айти сообщества
источник

D

Dima in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
такой пупс
источник

D

Dima in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
блин
источник

K

KrivdaTheTriewe in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Ага
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
монада относительно (R, A) - MonadWriter
источник

D

Dima in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
аниме в 30 лет можно смотреть?
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
монада относительно R => A -MonadReader
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
и т.п.
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
выходит можно не придумывать абстракции
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
а индексировать типами данных
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Oleg ℕizhnik
монада относительно R => A -MonadReader
что значит A -MonadReader?
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
и получать капабилити
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
Pavel
что значит A -MonadReader?
монада
относительго
R => A
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
функтор ето
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
а понял, это тире
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
RattenK 🍄🐀🌹
даме даё?
бака митай
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
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)))
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
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)))
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
нужно только понять когда монада относительно функтора является ещё и просто монадой
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (GCерковноPRиходскую SCоLу)
чтобы это стало совсем капабилити
источник