Задача из #ttingt сводится к следующему вопросу: можно ли заставить компилятор преобразовывать ; в `>>=`, а не `>>`? Тогда в do notation можно будет записывать такой себе dataflow: do { return 1; return . (+1); print }. Сейчас это можно сделать, только введя явные названия для аргументов: do { s ← return 1; s' ← return (s+1); print s' }
С обычной записью, конечно же, никаких проблем: return 1 >>= return . (+1) >>= print

#ttszzf

add comment recommend bookmark subscribe