KV
Почему Gf * a * Ff^-1 а не Ff^-1 * a * Gf ?
f * g читается "f после g"
Size: a a a
2019 December 17
YS
напиши пару прог на Хаскеле, поработай с IO и станет понятней. я бы сказал, что монада это схлопывающейся контекст (смотри join или bind).
здесь же чат про ТК, а не про Хаскель. в Хаскеле монады совсем другие и они врядли помогут категорные монады понять
AZ
f * g читается "f после g"
а, хм. Ясно, спасибо
AZ
а почему оно так "наоборот"?
PG
Умные люди скажут понятными словами)
YS
я так понимаю, эта диаграммка показывает то что bind разворачивает один слой монадки, и превращает m m T в m T
это просто превью, там на странице несколько диаграмм
YS
а почему оно так "наоборот"?
потому что аппликация так пишется
f xKV
а почему оно так "наоборот"?
Да прост. Иногда в другом порядке бывает
AZ
это просто превью, там на странице несколько диаграмм
ну эта диаграммка я так понимаю показывает именно то что a.bind(b.bind(c) == a.bind(b).bind(c)
YS
в математике композиция слева направо тоже встречается (и даже аппликация)
AZ
Да прост. Иногда в другом порядке бывает
для меня просто намного логичнее думать в терминах lift'ов
(a -> b) -> (b -> c) -> (a -> c)IJ
f(g(h(x))) --> f g h
IJ
"f к результату g к результату h"
KV
для меня просто намного логичнее думать в терминах lift'ов
(a -> b) -> (b -> c) -> (a -> c)Ну я разделяю сентимент, но такая уж традиция
ЕО
f(g(h(x))) --> f g h
this, меня так в универе учили запоминать :)
AZ
f(g(h(x))) --> f g h
хм. Ну вроде выглядит так, да, спасибо
ЕО
Ходят слухи, что есть школы математики, где композиция "нормально" записывается, но я о таких только слышал
IJ
Есть многое на свете, друг Горацио. Я до сих пор не могу привыкнуть к
[ полуоткрытым ; интервалам [ЕО
Есть многое на свете, друг Горацио. Я до сих пор не могу привыкнуть к
[ полуоткрытым ; интервалам [А это где так? В ленинграде [a;b) пишут
IJ
Во франции [a;b) пишут как [a;b[