w
Size: a a a
2020 August 01
B
чо тут за веселье
B
да и хуй с ним
B
я про Борьку, бориску
AG
там чета потерли уже в основе? непонятно что за шнырь
GP
там чета потерли уже в основе? непонятно что за шнырь
Кривду так зовут
2020 August 02
Oℕ
https://twitter.com/impurepics/status/1289606531395334146?s=19
оч хочется не согласиться, но и так слишком много конфликтов
оч хочется не согласиться, но и так слишком много конфликтов
AS
https://twitter.com/impurepics/status/1289606531395334146?s=19
оч хочется не согласиться, но и так слишком много конфликтов
оч хочется не согласиться, но и так слишком много конфликтов
/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.
AS
/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))
Oℕ
/get monad-laws
thank you
Oℕ
Сугак, ты же мне друг, ты хочешь со мной общаться?
AS
Да, но считаю, что ты зря кривду обидел.
Oℕ
Да, но считаю, что ты зря кривду обидел.
я не обижал
AS
Это не говно, ты ошибся.
AS
я не обижал
Ну он обиделся, ты это видел, но второй раз переписку слил.