haskell - (reverse . f . reverse) 有效吗？

Question

很多时候，我看到在列表头部运行的函数，例如:

trimHead ('\n':xs) = xs
trimHead xs        = xs

然后我看到了定义:

trimTail = reverse . trimHead . reverse

然后我看到:

trimBoth = trimHead . trimTail

它们很干净，但是 trimTail和 trimBoth高效的？有没有更好的办法？

Answer 1

考虑这种替代实现

trimTail2 [] = []
trimTail2 ['\n'] = []
trimTail2 (x:xs) = x : trimTail2 xs

trimBoth2 = trimHead . trimTail2

很容易确认 trimTail和 trimBoth要求评估整个列表，而 trimTail2和 trimBoth2只评估尽可能多的列表。

*Main> head $ trimTail ('h':undefined)
*** Exception: Prelude.undefined
*Main> head $ trimBoth ('h':undefined)
*** Exception: Prelude.undefined
*Main> head $ trimTail2 ('h':undefined)
'h'
*Main> head $ trimBoth2 ('h':undefined)
'h'

这意味着如果不需要整个结果，您的版本效率会降低。