forをパイプの中で使用する…のはオススメで無い

fukuoka.ex代表のpiacereです
今回もご覧いただいて、ありがとうございます

前回のコラムで、forが、可変長引数を取る関数であることを解明しました

このことを利用して、パイプの中で、forを使う方法について解説します

パイプでforの第1引数を渡す

forは、以下のように、第1引数にリストの分解、第2引数以降に「リストの分解」「条件判定」を複数取り、最後に「do:」を取ります

iex> for x <- [ 1, 3, 5 ], do: x + 2
[3, 5, 7]
iex> for x <- [ 1, 3, 5 ], x < 4, do: x
[1, 3]
iex> for x <- [ 1, 3, 5 ], y <- [ 2, 4, 6 ], x < 4, y < 5, do: x + y
[3, 5, 5, 7]
iex> for x <- [ 1, 3, 5 ], x < 4, y <- [ 2, 4, 6 ], y < 5, do: x + y
[3, 5, 5, 7]

これをパイプで書き直すと、こうなります

iex> ( x <- [ 1, 3, 5 ] ) |> for( do: x + 2 )
[3, 5, 7]

なお、if同様、パイプで渡す部分をカッコで囲まないと、うまく動きませんので、注意してください

forをパイプの中で使えるか？

リスト分解する部分は、単独での実行はできません

iex> x <- [ 1, 3, 5 ]
** (CompileError) iex:76: undefined function <-/2
iex> ( x <- [ 1, 3, 5 ] )
** (CompileError) iex:76: undefined function <-/2

Kernelモジュールや、Kernel.SpecialFormsモジュール等のどこにも定義されておらず、for特有の記述のようです（withでも使えるので、正確には、forとwithに特有、ですが）

リファレンスでの「<-」の検索結果
https://hexdocs.pm/elixir/search.html?q=%3C-

アリティも存在しません

iex> &<-/0
** (UndefinedFunctionError) function :erl_eval.<-/0 is undefined or private
iex> &<-/1
** (UndefinedFunctionError) function :erl_eval.<-/1 is undefined or private
iex> &<-/2
** (UndefinedFunctionError) function :erl_eval.<-/2 is undefined or private
iex> &<-/3
** (UndefinedFunctionError) function :erl_eval.<-/3 is undefined or private

そのため、パイプの後続として、forを使うことはできません

これは以前、「Excelから関数型言語マスター2回目：『列の抽出』と『Web表示』」の「forはforでは無い」の②で挙げた通りで、その背景が、上記「<-」の仕様によるものです

参考程度：パイプの先頭でならforは使える ※非推奨

前回コラムの冒頭にある通り、forはリストを返すことができるため、以下のように、パイプの先頭で使うことは可能です（ま、この例だと、forの中に条件判定書いちゃえるんですが）

iex> ( for x <- [ 1, 3, 5 ], do: x + 2 ) |> Enum.filter( &( &1 < 6 ) )
[3, 5]

しかし、こんなforをカッコで囲むような書き方をする位なら、以下のように、Enum.mapで書いた方が、ナチュラルです

iex> Enum.map( [ 1, 3, 5 ], &( &1 + 2 ) ) |> Enum.filter( &( &1 < 6 ) )
[3, 5]

更に、渡すリストをパイプで繋げ、可読性を良くできるのも、forではできない、Enum.mapらしい書き方でしょう

iex> [ 1, 3, 5 ] |> Enum.map( &( &1 + 2 ) ) |> Enum.filter( &( &1 < 6 ) )
[3, 5]

こうしたことから、パイプの中ではforを使わず、より汎用性高いEnum.mapを使うことが得策でしょう

p.s.「いいね」よろしくお願いします

よろしければ、ページ左上の や のクリックをお願いしますー