SK
Я без шуток в этом доебательство вижу
нет.
Size: a a a
2020 October 14
𝛈µ
Окей, исправляю: структура с двумя операциями: ..., и тремя законами: 1) ... 2) ... 3) ...
𝛈µ
Пробелы заполните копипастой
AD
Да постоянно пишут
Б
Окей, исправляю: структура с двумя операциями: ..., и тремя законами: 1) ... 2) ... 3) ...
структура с двумя операциями:
1) //unit(also called pure or apply). which construct a Monad out of a value or out of many values.
2) //bind - transforms a monad of certain type parameter into a monad of another type parameter.
, и тремя законами:
1) (left-identity) - unit(x).flatMap(f) == f(x)
2) (right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
3) and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
1) //unit(also called pure or apply). which construct a Monad out of a value or out of many values.
2) //bind - transforms a monad of certain type parameter into a monad of another type parameter.
, и тремя законами:
1) (left-identity) - unit(x).flatMap(f) == f(x)
2) (right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
3) and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
w
структура с двумя операциями:
1) //unit(also called pure or apply). which construct a Monad out of a value or out of many values.
2) //bind - transforms a monad of certain type parameter into a monad of another type parameter.
, и тремя законами:
1) (left-identity) - unit(x).flatMap(f) == f(x)
2) (right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
3) and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
1) //unit(also called pure or apply). which construct a Monad out of a value or out of many values.
2) //bind - transforms a monad of certain type parameter into a monad of another type parameter.
, и тремя законами:
1) (left-identity) - unit(x).flatMap(f) == f(x)
2) (right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
3) and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
это нихуя не читаемо
w
структура с двумя операциями:
1) //unit(also called pure or apply). which construct a Monad out of a value or out of many values.
2) //bind - transforms a monad of certain type parameter into a monad of another type parameter.
, и тремя законами:
1) (left-identity) - unit(x).flatMap(f) == f(x)
2) (right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
3) and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
1) //unit(also called pure or apply). which construct a Monad out of a value or out of many values.
2) //bind - transforms a monad of certain type parameter into a monad of another type parameter.
, и тремя законами:
1) (left-identity) - unit(x).flatMap(f) == f(x)
2) (right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
3) and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
Нужен телевизор за 300кк, коджимба гений, на кончиках пальцев.
𝛈µ
структура с двумя операциями:
1) //unit(also called pure or apply). which construct a Monad out of a value or out of many values.
2) //bind - transforms a monad of certain type parameter into a monad of another type parameter.
, и тремя законами:
1) (left-identity) - unit(x).flatMap(f) == f(x)
2) (right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
3) and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
1) //unit(also called pure or apply). which construct a Monad out of a value or out of many values.
2) //bind - transforms a monad of certain type parameter into a monad of another type parameter.
, и тремя законами:
1) (left-identity) - unit(x).flatMap(f) == f(x)
2) (right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
3) and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
Примерно так, тока вместо шизы вставьте чо-то получше
ΛВ
Постоянно объясняют так (я тож писал такое). Но это не отвечает на вопрос "зачем"
Б
Примерно так, тока вместо шизы вставьте чо-то получше
теперь моноид, пожалуйста
ΛВ
теперь моноид, пожалуйста
..., представьте копипасту
𝛈µ
Постоянно объясняют так (я тож писал такое). Но это не отвечает на вопрос "зачем"
Применений много. Это как спрашивать "зачем отрицательные числа"
S
monoid
A monoid is a pipeline of functions. e.g. cat x | sort | uniq ; or F(G(H(x)))
A monoid is a pipeline of functions. e.g. cat x | sort | uniq ; or F(G(H(x)))
SK
monoid
A monoid is a pipeline of functions. e.g. cat x | sort | uniq ; or F(G(H(x)))
A monoid is a pipeline of functions. e.g. cat x | sort | uniq ; or F(G(H(x)))
спасибо.
𝛈µ
теперь моноид, пожалуйста
Структура с одной бинарной операцией, удовлетворяющей свойствам ... и единичным элементом.
ΛВ
Применений много. Это как спрашивать "зачем отрицательные числа"
Но люди чаще спрашивают "чё такое монада" с целью именно понять зачем
𝛈µ
Но люди чаще спрашивают "чё такое монада" с целью именно понять зачем
Ну надо рассказать, что это генеричный концепт
(
Применений много. Это как спрашивать "зачем отрицательные числа"
(-7)*(-7) = 49, оправдывайся