История изменений
Исправление AndreyKl, (текущая версия) :
Это, похоже, чисто хаскелевская придумка, которая не имеет ничего общего с реальным положением дел.
А где-то написано что операция [монадического связывания] ассоциативна? Она там хитроассоциативна, согласно хаскелевской вики (https://wiki.haskell.org/All_About_Monads) закон «ассоциативности» выглядит так
(m >>= f) >>= g ==== m >>= (\x -> f x >>= g)В книжку по категориям я не полезу проверять, для меня сложновато, я даже в Аводи дальше первой главы не прошёл (емнип), может
gns поправит.---
upd.
Да у тебя и самого по моему из рассуждений выходит что в общем случае ты ничего не сделаешь.
Исправление AndreyKl, :
Это, похоже, чисто хаскелевская придумка, которая не имеет ничего общего с реальным положением дел.
А где-то написано что операция [монадического связывания] ассоциативна? Она там хитроассоциативна, согласно хаскелевской вики (https://wiki.haskell.org/All_About_Monads) закон «ассоциативности» выглядит так
(m >>= f) >>= g ==== m >>= (\x -> f x >>= g)В книжку по категориям я не полезу проверять, для меня сложновато, я даже в Аводи дальше первой главы не прошёл (емнип), может
gns поправит.---
upd.
Да у тебя и самого по моему из рассуждений выходит что в общем случае ты ничего не сделаешь (там у тебя понадобиалсь ассоциативная операция).
Исправление AndreyKl, :
Это, похоже, чисто хаскелевская придумка, которая не имеет ничего общего с реальным положением дел.
А где-то написано что операция ассоциативна? Она там хитроассоциативна, согласно хаскелевской вики (https://wiki.haskell.org/All_About_Monads) закон «ассоциативности» выглядит так
(m >>= f) >>= g ==== m >>= (\x -> f x >>= g)В книжку по категориям я не полезу проверять, для меня сложновато, я даже в Аводи дальше первой главы не прошёл (емнип), может
gns поправит.---
upd.
Да у тебя и самого по моему из рассуждений выходит что в общем случае ты ничего не сделаешь (там у тебя понадобиалсь ассоциативная операция).
Исправление AndreyKl, :
Это, похоже, чисто хаскелевская придумка, которая не имеет ничего общего с реальным положением дел.
А где-то написано что операция ассоциативна? Она там хитроассоциативна, согласно хаскелевской вики (https://wiki.haskell.org/All_About_Monads) закон «ассоциативности» выглядит так
(m >>= f) >>= g ==== m >>= (\x -> f x >>= g)В книжку по категориям я не полезу проверять, для меня сложновато, я даже в Аводи дальше первой главы не прошёл (емнип), может
gns поправит.Исправление AndreyKl, :
Это, похоже, чисто хаскелевская придумка, которая не имеет ничего общего с реальным положением дел.
А где-то написано что операция ассоциативна? Она там хитроассоциативна, согласно вики (https://wiki.haskell.org/All_About_Monads) закон «ассоциативности» выглядит так
(m >>= f) >>= g ==== m >>= (\x -> f x >>= g)В книжку я не полезу проверять, для меня сложновато, я даже в Аводи дальше первой главы не прошёл (емнип), может
gns поправит.Исходная версия AndreyKl, :
Это, похоже, чисто хаскелевская придумка, которая не имеет ничего общего с реальным положением дел.
А где-то написано что операция ассоциативна? Она там хитроассоциативна, согласно вики (https://wiki.haskell.org/All_About_Monads) закон «ассоциативности» выглядит так
(m >>= f) >>= g ==== m >>= (\x -> f x >>= g)В книжку я не полезу, для меня сложновато, я даже в Аводи дальше первой главы не прошёл (емнип), может
gns поправит.