山里は冬ぞ寂しさまさりける人目も草もかれぬと思へば

Advent Calendar 2022 78日目¹の記事です。
I'm looking forward to 12/25,2022
私のAdvent Calendar 2022 一覧。

はじめに

Elixirを楽しんでいますか

&>=/2, &<=/2, &</2などは、Function capturingです。
という話を書きます。

&>=/2, &<=/2, &</2

&>=/2, &<=/2, &</2はそれぞれ、enumerableなものから最大値、最小値を取得する関数の第3引数sorterのデフォルト値に指定されています。

たとえば、Enum.max/3をみてみましょう。

一見するとわかりにくいかもしれません。
引数をそれぞれ詳しくみていきます。

• 第1引数 enumerable
• 第2引数 sorter: デフォルト値は、&>=/2 ※意味は後述
• 第3引数 empty_fallback: デフォルト値は、fn -> raise Enum.EmptyError endという引数0個の無名関数

とみます。
な〜んてことない人は、相当なAlchemistです。
つまり、この説明を読んでな〜んてことない人になったあなたはAlchemistです。

What's /2 ?

/2というのは引数が2つという意味です。
/0だと引数が0。
/1だと引数が1。

専門家の間では、arity（アリティ）と呼ばれます。

>=/2

>=/2を深掘りしてみます。
>=/2の内部実装は以下の通りです。

  @doc guard: true
  @spec term >= term :: boolean
  def left >= right do
    :erlang.>=(left, right)
  end

2つの引数を:erlang.>=/2に渡して呼び出しています。

こんな書き方（呼び出し方）はしなくてよいのですが、紹介だけしておくとKernel.>=(4, 3)と書けます。

他も気になる方は、ドキュメントの</>を迷わず押してみてください。
ソースコードにジャンプできます。

&>=/2, &<=/2, &</2などは、Function capturing

&>=/2, &<=/2, &</2などは、Function capturingです。

&>=/2を実行した結果と、fn a, b -> a >= b endを実行した結果は同じです。

iex> fc = (&>=/2) 
&:erlang.>=/2

iex> f = fn a, b -> a >= b end
#Function<43.65746770/2 in :erl_eval.expr/5>

iex> fc.(3, 1)
true

iex> f.(3, 1)
true

iex> fc.(3, 4)
false

iex> f.(3, 4)
false

fn a, b -> a >= b endを&記法で書くと、& &1 >= &2となります。
もうここまで来ちゃうと

iex> (&>=/2) == (& &1 >= &2)
true

と、(&>=/2) == (& &1 >= &2)がtrueとして成立します。

公式ドキュメントは、以下をご参照ください。

その他

何に使うかはこの際、考えません。
以下のようなものを作ることができます。
ソースコード中ではじめてみると、なんだこれ？　となること請け合いです。

iex> &+/2
&:erlang.+/2

iex> &-/2
&:erlang.-/2

iex> &++/2
&:erlang.++/2

iex> &<>/2
#Function<43.65746770/2 in :erl_eval.expr/5>

iex> &../2
#Function<43.65746770/2 in :erl_eval.expr/5>

iex> &**/2
&Kernel.**/2

iex> &=/2 
#Function<43.65746770/2 in :erl_eval.expr/5>

iex> &==/2
&:erlang.==/2

iex> & &&/2
#Function<43.65746770/2 in :erl_eval.expr/5>

iex> &!/1
#Function<44.65746770/1 in :erl_eval.expr/5>

iex> &in/2 
#Function<43.65746770/2 in :erl_eval.expr/5>

iex> &**/2 
&Kernel.**/2

Wrapping up

&>=/2, &<=/2, &</2などは、Function capturingです。

Enjoy Elixir
$\huge{Enjoy\ Elixir🚀}$

以上です。

尚々書

先日書いた「Enum.max_by/4 を説明します（Elixir）」の中でもこの記事の内容は一部触れています。
Enum.max_by/4は案外奥が深く、内容が盛り沢山になりました。
&>=/2, &<=/2, &</2は初見殺し感が満載なので、これらに絞って記事を書き起こしました。

I organize autoracex.
And I take part in NervesJP, fukuoka.ex, EDI, tokyo.ex, Pelemay.
I hope someday you'll join us.

We Are The Alchemists, my friends!