繰り返し文の中でredoが使えることを初めて知り、動作についてはわかりました。
具体的な処理としては毎ループ特定の変数の値を変更させて使うようですが、
効率が悪かったり、読みづらい処理しか自分には思いつきませんでした。

具体的にどのような場合にredoを使えば処理がきれいに書けるのか何か例を一つ教えていただけないでしょうか？