haskell - 为什么 Prelude 中的 init 函数有两种定义？

Question

我在 Prelude 中找到了函数 init 的两个定义:

init [x] = []
init (x:xs) = x : init xs
init [] = errorEmptyList "init"

init [] = errorEmptyList "init"
init (x:xs) = init' x xs
  where init' _ [] = []
        init' y (z:zs) = y : init' z zs

第二个定义的原因是什么？

Answer 1

你没有逐字引用它。其实是:

-- | Return all the elements of a list except the last one.
-- The list must be non-empty.
init                    :: [a] -> [a]
#if defined(USE_REPORT_PRELUDE)
init [x]                =  []
init (x:xs)             =  x : init xs
init []                 =  errorEmptyList "init"
#else
-- eliminate repeated cases
init []                 =  errorEmptyList "init"
init (x:xs)             =  init' x xs
  where init' _ []     = []
        init' y (z:zs) = y : init' z zs
#endif

USE_REPORT_PRELUDE意味着这段代码遵循 Haskell Report，而另一段代码可能是更有效的实现。查看 this thread关于 reverse 的类似讨论.