История изменений

Но я всё ещё не понимаю, как ты собираешься параллелить код с монадами в общем случае.

Я не собираюсь параллелить код с монадами в *общем* случае. (За *эффективное* распараллеливание такого кода можно давать сразу 5-10 нобелевок. И я сомневаюсь, что это вообще можно сделать.)

Я привел пару *частных* случаев монад, когда они эффективно параллелятся, причем в значительной степени по причине определения монады, а не случайно. И сделал это чтобы оспорить утверждение Laz о том, что монады не параллелятся.

Чувак, даже я из твоей нотации ничего не понял.

Да, там очень лохмато и непривычно. Начнем с того, что я bind(x,y) иногда пишу как x.bind(y) — и считаю, что это удобнее, чем стрелки.

Но я всё ещё не понимаю, как ты собираешься параллелить код с монадами в общем случае.

Я не собираюсь параллелить код с монадами в *общем* случае. (За *эффективное* распараллеливание такого кода можно давать сразу 5-10 нобелевок. И я сомневаюсь, что это вообще можно сделать.)

Я привел пару *частных* случаев монад, когда они эффективно параллелятся, причем в значительной степени по причине определения монады, а не случайно. И сделал это чтобы оспорить утверждение Laz о том, что монады не параллелятся.

Чувак, даже я из твоей нотации ничего не понял.

Да, там очень лохмато и непривычно. Начнем с того, что я bind(x,y) пишу как x.bind(y) — и считаю, что это удобнее, чем стрелки.