ᛒ
(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))
Size: a a a
ᛒ
NL
S
NL
S
NL
S
NL
S
NL
S
NL
S
NL
S
SK
KS
in-other-words
, целью которой является представление эффектов выших порядков и решение проблемы O(n²) инстансов:AS
KS