Ответсообщение недоступно
А в чем концептуальная проблема с рекурсией если с TCO как раз меньше всего проблем? Я скорее понял бы аргумент про ленивость и боксинг, но не про рекурсию. Это все разговор про трейдоффы и пермиссивность оптимизаторов и языков. В строгих языках нужно костылять ленивость, в анбокснутых иногда приходится боксить. В Хаскеле просто очень многое позволено, но часто сложно понять за что в итоге заплатишь. Черной магии чтобы залезть по капот оптимизатора хватает