В настоящее время я сдаю фиктивную газету для экзамена на следующей неделе, и возник этот вопрос. Я очень плох в индукции, и я изо всех сил пытаюсь понять это. Вопрос состоял в следующем:
Докажите структурной индукцией, что для любого списка l список, полученный путем применения функции reverse к l, имеет ту же длину, что и l, где функция reverse определяется с использованием конкатенации списков ++ как следует:
reverse [] = []
reverse (h:t) = (reverse t) ++ [h]