AS
/set monad2 как правильно ответить на вопрос "что такое монады"? "функции, которые в качестве аргументов принимают результат работы других функций" пойдет?
Size: a a a
2020 September 20
λ
функции, которые в качестве аргументов принимают результат работы других функций тебе в очко
D
А implicit переход Олега в Яндекс уже обсудили?
ребят
λ
/set monad2 как правильно ответить на вопрос "что такое монады"? "функции, которые в качестве аргументов принимают результат работы других функций" пойдет?
Это откуда такое
D
почему так редко постите?
D
надо каждый час новость присылать
Oℕ
Пора фичу в боте делать
Oℕ
/get monad
S
monad
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.
Oℕ
нет, это всё ещё смешнее
Oℕ
/get monad-laws
S
monad-laws
(left-identity) - unit(x).flatMap(f) == f(x)
(right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
(left-identity) - unit(x).flatMap(f) == f(x)
(right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
AS
нет, это всё ещё смешнее
Факт.
KS
Расскажите про переход Олега в Яндекс.
YE
Шел Олег по офису Тинька. Видит — Яндекс горит. Взял и перешел
Б
/get monoid
S
monoid
A monoid is a pipeline of functions. e.g. cat x | sort | uniq ; or F(G(H(x)))
A monoid is a pipeline of functions. e.g. cat x | sort | uniq ; or F(G(H(x)))
Б
незаслуженно забыто