Elixirの関数パラメータ内の等号とは何ですか？

Question

は、私はこのようなFooモジュールを定義している：私はFoo.hello(%{name: "Alice"})を実行する場合

defmodule Foo do 
    def hello(x = %{name: name}) do 
    IO.inspect [x, name] 
    end 
end 

が、私は次のような結果を得る：次に

[%{name: "Alice"}, "Alice"] 

を、私は変更せずにFooモジュールを書き換えることができることを学びましたこのような機能：

defmodule Foo do 
    def hello(%{name: name} = x) do 
    IO.inspect [x, name] 
    end 
end 

なぜこれが可能ですか？関数パラメータ内の等号とは何ですか？それは正常なマッチ演算子ですか？

私の理解では、オペレータ=は、左側のパターンと右側の値を一致させます。

[編集]

ジャスティンの答えを読んだ後、私は自分自身で答えを投稿しました。しかし、私はまだ助けが必要です。

=オペレータが機能ヘッド内で異なる動作をしているかどうか、またその理由を知りたいと思います。

利用可能な場合は、公式のマニュアルを探したいと思います。

Answer 1

実際には依然としてマッチ演算子です。あなたがこれを行うことができます

理由は、あなたがあなたの関数の頭の中にこの

iex(1)> 1 = x 

** (CompileError) iex:3: undefined function x/0 
iex(2)> x = 1 
1 
iex(3)> 1 = x 
1 

のように一致させることができ、同様の理由で、xは（同じとすぐに機能を使用して、それに引数を渡すとしての価値を持っていますなぜなら、関数をdef hello(x) do ... endと定義できるからです。つまり、マッチ演算子の右側でそれを使用することができます。

Answer 2

しばらくの間、グーグルした後、私はhttp://learnyousomeerlang.com/syntax-in-functionsについて説明しました。

この記事はアーランのfuction参照：

valid_time({Date = {Y,M,D}, Time = {H,Min,S}}) -> 
    io:format("The Date tuple (~p) says today is: ~p/~p/~p,~n",[Date,Y,M,D]), 
    io:format("The time tuple (~p) indicates: ~p:~p:~p.~n", [Time,H,Min,S]); 

をそれからそれは言う：機能ヘッドに=演算子を使用することが可能であることを

注意を、私たちは両方に一致することができますタプルの内容（{Y,M,D}）とタプル全体（Date）です。

それはおよそアーランですが、メカニズムがエリクサーで同じであるようです。実験では

次のように、私はFooモジュールを書き直し：

defmodule Foo do 
    def hello(%{name: x} = %{name: y}) do 
    IO.inspect [x, y] 
    end 
end 

は、その後、私はFoo.hello(%{name: "Alice"})を走っており、この得た：引数のパターンマッチングは、二つのパターンに対して行われ

["Alice", "Alice"] 

をの両方=オペレータのの両側。