内核。--/2怪异的行为

请考虑以下代码:

iex|1 ▶ [:foo, :bar] -- [:foo, :bar]
#⇒ []

到目前为止,一切都很好。但是:

iex|2 ▶ [:foo, :bar] -- [] -- [:foo, :bar]
#⇒ [:foo, :bar]

更重要的是,它不是从右到左:

iex|3 ▶ [:foo, :bar] -- [:foo] -- [:foo, :bar] 
#⇒ [:foo, :bar]

iex|4 ▶ IO.inspect([:foo, :bar], label: "1") --
...|4 ▶   IO.inspect([:foo], label: "2") --
...|4 ▶   IO.inspect([:foo, :bar], label: "3")
#⇒ 1: [:foo, :bar]
#  2: [:foo]
#  3: [:foo, :bar]

#⇒ [:foo, :bar]

我是否遗漏了一些明显的东西?这里发生了什么?不应该有什么魔力,因为 Kernel.--/2 只是授权给 :erlang.--(left, right) .

为什么连续减法列表会导致noop?

fwiw,加括号,一切按预期工作:

iex|5 ▶ ([:foo, :bar] -- [:foo]) -- [:foo, :bar]
#⇒ []

更多乐趣:

iex|6 ▶ [:foo, :bar] -- [:foo] -- []  
#⇒ [:bar]
iex|7 ▶ [:foo, :bar] -- [:foo] -- [:foo]
#⇒ [:foo, :bar]
iex|8 ▶ [:foo, :bar] -- [:foo] -- [:bar]
#⇒ [:bar]

后续调查结果。 以某种方式,简短的形式还原可以遵循正确的关联语义:

Enum.reduce([[:foo, :bar], [:foo], [:foo, :bar]], &Kernel.--/2)
#⇒ [:foo, :bar]

但完全成形的具有明确功能的 不

Enum.reduce(
  [[:foo, :bar], [:foo], [:foo, :bar]],
  fn e, acc -> acc -- e end
)
#⇒ []