在模式中重用列表

Question

当我写：

sort [x] = [x]

编译器是否足够聪明以重用相同的列表，或者我是否必须明确说明它？

sort xs@[_] = xs

Answer 1

它足够聪明吗？让我们来看看！

ezyang@javelin:~$ cat Foo.hs
module Foo where
foo [x] = [x]

这是 STG：

ezyang@javelin:~$ ghc --make Foo.hs -ddump-stg -fforce-recomp
[1 of 1] Compiling Foo              ( Foo.hs, Foo.o )

==================== STG syntax: ====================
Foo.foo =
    \r srt:(0,*bitmap*) [ds_sdP]
        let-no-escape {
          fail_sdO =
              sat-only \r srt:(0,*bitmap*) [ds1_sdN]
                  Control.Exception.Base.patError "Foo.hs:2:0-12|function foo";
        } in 
          case ds_sdP of wild_sdY {
            [] -> fail_sdO GHC.Prim.realWorld#;
            : x_sdV ds1_sdT ->
                case ds1_sdT of wild1_sdZ {
                  [] -> : [x_sdV GHC.Types.[]];
                  : ipv_se0 ipv1_se1 -> fail_sdO GHC.Prim.realWorld#;
                };
          };
SRT(Foo.foo): [Control.Exception.Base.patError]

有趣的是这一行：

                  [] -> : [x_sdV GHC.Types.[]];

我们看到我们正在为 x_sdV 和 [] 创建一个新的 cons-cell。所以，不。不过，这还不算太糟糕，因为 x_sdV 本身是共享的，所以它只是一个构造函数；此外，我们正在强制列表的主干xs，因此GHC无论如何都需要重写它。所以不用担心。