Oℕ
А не без seq?
насколько я понимаю в контексте тотальных чистых фунцкий seq равен id
Size: a a a
2019 December 17
Oℕ
ну или что там const id
YS
а что "другого" в монадах хаскеля?
я плохо знаю ТК, чтобы дать точный ответ. например, в Хаскеле монады являются аппликативными функторами, а в ТК — нет. или это аппликативы в Хаскеле неправильные?
YS
в Хаскеле монадой можно назвать только конструктор типа, а не любой подходящий моноидвкатегорииэндофункторов
Oℕ
я плохо знаю ТК, чтобы дать точный ответ. например, в Хаскеле монады являются аппликативными функторами, а в ТК — нет. или это аппликативы в Хаскеле неправильные?
в достаточно сильной категориий в ТК монады так же являются lax monoidal functor
YS
и сигнатура
join :: m (m a) -> m a отдалённо похожа, но всё-таки отличается от m² → mOℕ
в Хаскеле монадой можно назвать только конструктор типа, а не любой подходящий моноидвкатегорииэндофункторов
да, это пожалуй, хорошее дополнение, но тут скорее ограничение на дефинитивные возможности языка
Oℕ
и сигнатура
join :: m (m a) -> m a отдалённо похожа, но всё-таки отличается от m² → mне отличается
YS
в достаточно сильной категориий в ТК монады так же являются lax monoidal functor
как это заклинание относится к Хаскелю?
Oℕ
так, что Hask и Set среди таких категорий
KV
Много интересных монад получается из сопряжения между свободно порождающим и забывающим функторами для каких-то алгебр, выразимых в терминах индуктивных типов (ну без законов конечно), так что всё равно неплохо
YS
не отличается
разве композиция функторов — это произведение категорий?
CE
Много интересных монад получается из сопряжения между свободно порождающим и забывающим функторами для каких-то алгебр, выразимых в терминах индуктивных типов (ну без законов конечно), так что всё равно неплохо
Все*
KV
Ну хотя я ничего нового не сказал, можно просто посмотреть, какие есть в хаскеле монады и сказать "да, они интересные"
KV
Все*
Да ладно? Все получаются из сопряжения, но не все ж про алгебры наверное
Oℕ
разве композиция функторов — это произведение категорий?
m² - это не произведение категорий
CE
Да ладно? Все получаются из сопряжения, но не все ж про алгебры наверное
Ну смотря как вы определяете индуктивные типы)
KV
Ну смотря как вы определяете индуктивные типы)
А как в хаскелле
YS
m² - это не произведение категорий
а что?
CE
Хорошо, тогда не все)