AS
Очень сложный юмор
Это не юмор.
Size: a a a
2020 July 17
ᛒ
Очень сложный юмор
ето скала жизнь
ᛒ
шо одно хуйня шо второе
AT
Это не юмор.
Это... монада?
AS
Это... монада?
/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.
AT
AG
слабый 2-функтор из терминальной бикатегории
AG
Сразу @clayrat вспоминается. Именно он объяснил мне аксиому Эскобара
чет не помню такого :)
AT
чет не помню такого :)
Мне почему-то запомнилось) наверняка телега помнит)
ZM
слабый 2-функтор из терминальной бикатегории
Наконец определение, с которым не засмеют в понве, прожвм и во дворе.
ᛒ
Наконец определение, с которым не засмеют в понве, прожвм и во дворе.
/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
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))
V
#CatboyKamil
S
Vasiliy
Red books matter
λ
Vasiliy
Норм
AT
Ох матерь божья