Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)

2020 July 17

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
λoλcat
Сет и трай момада
время спорить о сет монадах
источник

AS

Andrey Sugak in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
λoλcat
Сет и трай момада
Ну да, у них же fundamental ops есть.
источник

AS

Andrey Sugak in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
/get monad
источник

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
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.
источник

KC

Kain Crow in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Sublime Bot
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.
/set monad container
источник

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
OK!
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Andrey Sugak
/get monad
very good :)
источник

KC

Kain Crow in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник

AS

Andrey Sugak in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Kain Crow
/set monad container
Ты чё творишь блядь.
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Нужен телевизор за 300кк, коджимба гений, на кончиках пальцев.
источник

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
OK!
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
kind of types which have some fundamental ops(like a List)
источник

KC

Kain Crow in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Andrey Sugak
Ты чё творишь блядь.
Да все нормально
источник

KC

Kain Crow in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
/get monad
источник

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
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.
источник

KC

Kain Crow in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Батя все пофиксил
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
/get monad-laws
источник

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
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))
источник

AS

Andrey Sugak in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
flatMap(unit) = aMonadInstance
источник

AS

Andrey Sugak in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник