История изменений
Исправление hateyoufeel, (текущая версия) :
Про рыбку <=< вообще удобнее рассуждать, чем про bind. Но надо помнить, в какую она сторону. А мне такие вещи запоминать лень.
Можешь порассуждать про >=>. Она такая же, только в другую сторону. Выбирай любую!
При этом, возможно, в хаскеле можно добавить настояющую do-нотацию для настоящих монад, куда как-то запретить вход IO и подобным суррогатам. При этом по сигнатуре она может быть той же, что и обычная.
IO – это настоящая монада. Все законы соблюдены.
Ты за каким-то хером путаешь ассоциативность монадического связывания и операции с типом внутри. Это вообще никак не связанные вещи. Data.Proxy – это самая что ни на есть монада в любом смысле, какой не притяни, и все законы во всех операциях с Proxy соблюдаются. Но тем не менее, все твои выкладки ломаются на корню.
Исправление hateyoufeel, :
Про рыбку <=< вообще удобнее рассуждать, чем про bind. Но надо помнить, в какую она сторону. А мне такие вещи запоминать лень.
Можешь порассуждать про >=>. Она такая же, только в другую сторону. Выбирай любую!
При этом, возможно, в хаскеле можно добавить настояющую do-нотацию для настоящих монад, куда как-то запретить вход IO и подобным суррогатам. При этом по сигнатуре она может быть той же, что и обычная.
IO – это настоящая монада. Все законы соблюдены.
Ты за каким-то хером путаешь ассоциативность монадического связывания и операции с типом внутри. Это вообще никак несвязанные вещи. Data.Proxy – это самая что ни на есть монада в любом смысле, какой не притяни, и все законы во всех операциях с Proxy соблюдаются. Но тем не менее, все твои выкладки ломаются на корню.
Исходная версия hateyoufeel, :
Про рыбку <=< вообще удобнее рассуждать, чем про bind. Но надо помнить, в какую она сторону. А мне такие вещи запоминать лень.
Можешь порассуждать про >=>. Она такая же, только в другую сторону. Выбирай любую!
При этом, возможно, в хаскеле можно добавить настояющую do-нотацию для настоящих монад, куда как-то запретить вход IO и подобным суррогатам. При этом по сигнатуре она может быть той же, что и обычная.
IO – это настоящая монада. Все законы соблюдены.