[EDITORIAL 3] Reverse e Append: Uma combinação ineficiente

O Inductioncode trará amanhã uma análise sobre o uso da função append (++) na implementação da função reverse, como mostrada abaixo:

reverse :: [a] -> [a]
reverse [] = []
reverse (x:xs) = reverse xs ++ [x]

Vamos discutir a complexidade dessa solução e apresentar uma outra implementação assintoticamente mais eficiente.

@inductioncode