Mais Reflexões Recursivas

O fato de ser mais difícil implementar a recursividade final corretamente em linguagens imperativas, por causa do sequenciamento de instruções principalmente, deve explicar a falta deste aspecto em linguagens como C e Java. Também para explicar por que isso foi "descoberto" no âmbito da programação funcional. Mas hoje já se sabe como fazer isso em linguagens imperativas, então não deveria haver desculpas. Ou deveria ?