Oℕ
Сет и трай момада
время спорить о сет монадах
Size: a a a
2020 July 17
AS
Сет и трай момада
Ну да, у них же fundamental ops есть.
AS
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.
KC
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.
/set monad container
Oℕ
/get monad
very good :)
AS
/set monad container
Ты чё творишь блядь.
w
Нужен телевизор за 300кк, коджимба гений, на кончиках пальцев.
Oℕ
kind of types which have some fundamental ops(like a List)
KC
Ты чё творишь блядь.
Да все нормально
KC
/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.
KC
Батя все пофиксил
ᛒ
/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
flatMap(unit) = aMonadInstance
