Исправление
dave,
(текущая версия)
:
Ну, я особо не вчитывался в документацию, но понял так, что mdo сам группирует последовательные блоки в минимальные под-блоки do rec, т.е. mdo на выходе порождает портянку do с под-блоками do rec.
Просто в моем случае использование do rec на довольно большой кусок кода может быть менее эффективным, чем использование mdo, и здесь я думаю не о себе, а о пользователях библиотеки [1].
[1] Не рекламирую. Там у меня самописные монады с поддержкой MonadFix.
Исходная версия
dave,
:
Ну, я особо не вчитывался в документацию, но понял так, что mdo сам группирует последовательные блоки в минимальные под-блоки do rec, т.е. mdo на выходе порождает портянку do с под-блоками do rec.
Просто в моем случае использование do rec на довольно большой кусок кода может быть намного менее эффективным, чем mdo, и здесь я думаю не о себе, а о пользователях библиотеки [1].
[1] Не рекламирую. Там у меня самописные монады с поддержкой MonadFix.