Я думал скорее про какой-нибудь С++

а я в принципе про самый обобщенный цикл, который можно как while (true) представить, и условия выхода уже внутри как угодно в любом месте писать

Хотя возможно и в него такое завезли

Мне кажется, там появляются дополнительный corner cases, типо того, будет ли цикл исполнен ещё раз после выполнения условия.

Об этом надо думать

С рекурсией лично мне о таком думать не приходится

Я прямо пишу что в каком кейсе происходит

И не надо моделировать комбинации переменных в голове и думать, будет ли выполнен код

Короче ИМХО рекурсия когнитивно проще циклов

про комбинации переменных точно так же придется думать и в хвостовой рекурсии, если эти самые переменные вводить

если мы в равных условиях, то состояние меняется и там и там в момент переключлючения итерации

еще раз, я говорю не про схожесть, я говорю про ПОЛНУЮ одинаковость кода через безусловный цикл и хвостовую рекурсию в одинаковых условиях

с разницей только синтаксической

Да, но в случае рекурсии часть состояния управляется автоматически при помощи стека вызовов — программисту стек вызовов руками дергать не надо. А в циклах у тебя все состоящие трогает сам программист.

ну, тут спорно, не вижу существенной разницы между установкой состояния через

f(a + b, b)
и
(a, b) = (a + b, b)

У тебя хаскель головного мозга

ну и я понял почему так выходит, потому что Codensity Reader это

forall r. (a -> (s -> r)) -> s -> r
~
s -> forall r. ((a, s) -> r) -> r
~
s -> (a, s)

так как это
forall r. ((a, s) -> r) -> r
по сути является континуейшен-вариантом
(a, s)

и для трансформер варианте

forall r. (a -> (s -> m r)) -> s -> m r
~
s -> forall r. (a -> (s -> m r)) -> m r
~
s -> forall r. ((a, s) -> m r) -> m r
~ [ вот тут интересно, (forall r. (a -> m r) -> m r) ~ m a ]
s -> m (a, s)

https://gist.github.com/kana-sama/8d34edb624e0630ff19b6ad90d987e43

тогда вопрос, а зачем вообще писать через Codensity + Reader если можно сразу в State писать, @effectfully

чтобы в простых случаях использовать просто Reader и иметь меньше шансов на ошибку с неправильным стейтом?