Elixir Advent Calendar 2014 24日目。

今年の3月に、サンフランシスコで開催された Erlang Factory SF Bay Area 2014 に行って参りました。自費で。(Thanks to 力武さん.)
その情報共有を、今年中にやっておきたいと思っていましたので、この場を借りて報告致します。

はじめに

Erlangのイベントですが、今回は鳴り物入りでElixirのセッションがいくつかありました。というか、キーノートの一つ、そして今回の目玉がElixirという、Erlangコミュニティにとっても特別な年だったのではないでしょうか。
私は、原則として複数進行するErlangのセッションのうち興味のあるテーマを選んで参加していましたが、Elixirのセッションがある場合は、そちらに参加しました。
また、会場となっているホテルのホールで開催された懇親会にも参加し、色んな方と話をしてきました。

現地で会話をした人々

Jose Valim

説明不要ですね。開場前に見かけたので、日本でのElixirコミュニティがアツいという話をしてきました。
日本人Elixirプログラマに関しては、 @mururu さんが一番印象的のようでした。さすがです。

Dave Thomas

言わずと知れた、 Programming Elixir の著者の方で、Ruby界隈では有名な方だと思われます。
Elixirに関しては、仕掛人の一人と言っても過言ではないでしょう。
イベントでは、Jose と二人でキーノートスピーチを行い、Erlangコミュニティに対してメッセージを発信しました。(「ErlangはRubyやElixirのように敷居を低くすべき」という内容で、現場では物議を醸しましたが、それだけ強いメッセージでした。)

Loïc Hoguin

Cowboyの方です。名前を呼ぶ時も「カウボーイさん」で通じます。
とてもまじめで、寛容な方であると、話をしていて感じました。

Kenji Rikitake

このイベントに参加できたのは、そもそも力武さんに誘って頂いたためです。
力武さんはスピーカーとして登壇するため、ディスカウントの権利を頂きました。
ちなみに、私がErlangに強く興味を持ったのは、2009年前後(?)に、Erlangの勉強会に参加して、力武さんの発表を聴いたことがきっかけです。

その他

Erlangのトレーナーをされている方や、その他Erlangハッカーたちと、懇親会で話をしてきました。

Elixirセッション

Elixirのセッションのうち、私は以下の3つに参加しました。

• Bitcoin & Elixir -- Living the Cutting Edge
• Pipe Dreams -- Getting More out of Elixir Pipes
• Write Less, Do More (and Have Fun!) with Elixir Macros

Bitcoin & Elixir -- Living the Cutting Edge

登壇者は、 Yurii Rashkovskii。Bitcoinのサービス開発の話です。

アーキテクチャは非常にシンプルで、bitcoind ノードがプロキシとして外部とのやりとりを行う。
また、Bitcoinのプロトコル・パーサーを全てElixirで実装したとのこと。これは、バリデーターのために使ったり、トランザクションの監視に使ったりするとのこと。
Elixirの利点は、コントロールとダイナミズムが向上したこと。欠点としては、ブロックが複雑であることと、Elixirの仕様が変わっていったため、ライブラリが陳腐化していったことを挙げています。

確かに、Elixirはv0.5.0から使っているということで、仕様変更の観点で、本当に苦労は大きかったと思います。

以降はほとんど、Elixirそのものではなく、このサービス開発の話。Dockerを使ったなど。なかなか2014年3月上旬でDockerをプロダクションで導入している組織は少なかったのではないでしょうか。面白いのですが、今回は割愛します・・・。

Pipe Dreams -- Getting More out of Elixir Pipes

サブタイトルは、 pipes |> macros |> beautiful_code です。
登壇者は、Seven Languages in Seven Weeks の Bruce Tate。

なぜパイプなのか?

Bruceは、以前 Jose と話した際に、「なぜElixirにパイプを入れたのか?」と聞いたら、「F#からパクったんだよ」と Jose は答えたとのこと。
Bruce は続けて、「もっと教えてくれ!」と言ったら、「当初自分は大したことは考えていなかったが、関数型の思考方法を取るにあたって根本的なツールだと多くの人が考えるようになった。複数のステップを踏んだデータの変換は、関数型プログラミングの主要な考え方の一つだが、パイプ演算子はそれを具現化してくれるため、まもなく開発者に支持されるようになった。」と答えたそうです。

また、 Dave Thomas も Programming Elixir のサブタイトルにパイプ演算子を使っているし、Erlang の作者である Joe Armstrong も、Elixir のパイプ演算子を評価しています。
Phoenix Web Framework の作者である Chris McCord も、「パイプとマクロが、私がここにいる理由だ」と言っています。

関数型言語としてパイプが重要なツールであり、その機能とスタイルが多くの人に愛されていることが良く分かりますね。

pipe_matching

課題を一つ提起しています。「信頼できないタスクを表現したい」と。例としては、ロシアンルーレットを行うプログラムです。

defmodule RussianRoulette do
  def click(acc) do
    IO.puts "click..."
    {:ok, "click"}
  end
  def bang(acc)	do
    IO.puts "BANG."
    {:error, "bang"}
  end
end

{:ok, ""} |> click |> click |> bang |> click

当然、

click...
click...
BANG.
click...

と表示されるのですが、これは分かりきったことです。当たり前ですね。
しかし、弾が発射された後にまた引き金を引いているので、ロシアンルーレットとしてはおかしいです。

この問題を解決するには、関数を壊すなりラップするなり何とかしないといけないわけですが、Elixirなら、 |> 演算子をマクロで変更してしまえばよいのです。Bruce は、上記のコードをこう変更しました。

pipe_matching {:ok, _},
{:ok, ""} |> click |> click |> bang |> click

ここから先は、どうやってこの pipe_matching を実装したかの話です。

基本的な戦略としては、Pipeモジュールを定義し、そこにマクロを定義していくという形です。

defmodule Pipe do

  defmacro __using__(_) do
    quote do
      import Pipe
    end
  end

  defmacro pipe_matching(expr, pipes) do
    quote do
      pipe_while( &(match? unquote(expr), &1),
                  unquote pipes)
    end
  end

  defmacro pipe_while(test, pipes) do
    Enum.reduce Macro.unpipe(pipes), &(reduce_if &1, &2, test)
  end

  defp reduce_if(x, acc, test) do
    quote do
      ac = unquote acc
      case unquote(test).(ac) do
        true -> unquote(Macro.pipe((quote do: ac), x))
        false -> ac
      end
    end
  end

end

マクロを書くにあたって難しいのは、スコープを常に意識するということです。
スコープには2つあって、一つはコンパイルタイム・スコープ。もう一つはランタイム・スコープ。

上記 pipe_matching で言うと、コンパイラから見えるのが、

  defmacro pipe_matching(expr, pipes) do

                                 expr
                        pipes

  end

の部分。それ以外がランタイム・スコープ。
この2つを理解するのが重要であるという話でした。

ちなみに、上記のモジュールを使うと、

click...
click...
BANG.

となるようです。

pipe_with

例えば、

works |> works |> breaks |> works

を実行したら、 breaks の部分で、非定型の例外処理を行いたいという問題です。
ある時は 例外を上げるし、またある時はタプル {:error, ...} を返すということです。

基本的な戦略としては、実行コードは

use Pipe
game = pipe_with &ExceptionWrapper.wrap/2,
          Roulette.start |>
          Roulette.click |>
          Roulette.click |>
          Roulette.bang |>
          Roulette.click

という形で、 pipe_with でラッピングするということでした。
ラッパーの最終形としては、以下のようになります。

defmacro pipe_with(fun, pipes) do
  Enum.reduce Macro.unpipe(pipes), &(reduce_with &1, &2, fun)
end

defp reduce_with(segment, acc, outer) do
  quote do
    inner = fn(x) ->
      unquote Macro.pipe((quote do: x), segment)
    end

    unquote(outer).(unquote(acc), inner)
  end
end

この際も、コンパイルタイム・スコープとランタイム・スコープを意識する必要があるとのことでした。

非定型の例外処理を行うモジュール ExceptionWrapper は、こんな感じです。

defmodule ExceptionWrapper do
  def wrap({:error, e, acc}, _), do: {:error, e, acc}
  def wrap(acc, f) do
    f.(acc)
  rescue
    x in [RuntimeError] ->
      {:error, x, acc}
  end
end

最後に

• プログラミングをすることは考えること
• パイプは私たちが考えることを助けてくれる
• マクロはパイプをより良くしてくれる

とのことでした。

Write Less, Do More (and Have Fun!) with Elixir Macros

Phoenix Frameworkでおなじみの @chris_mccord さんのセッションです。

いきなり「マクロは書くな」というセンセーショナルな話から始まりました。Elixirの長所の一つがマクロだと僕は思うのですが・・・。
そして「マクロをむやみに使え」。えっと、どういうことでしょう・・・。

マクロとは何か

コードを記述するコードです。Elixir自体が根本的にマクロで記述されています。例えば、if, unless, cond, def, defmodule 、これらは全てマクロです。マクロはコンパイル時にElixirのコード全体に対して適用され、Elixir本来のコードとなります。
defmodule でモジュール定義するのと同様、quote による定義は、Elixirのデータ構造として表現されます。

quote

iex> quote do: (1 + 2) - 5 * 10
{:-, [context: Elixir, import: Kernel],
 [{:+, [context: Elixir, import: Kernel], [1, 2]},
  {:*, [context: Elixir, import: Kernel], [5, 10]}]}

quote は、いかなる式でも、3つの要素をもつ一連のタプルとして表現することができます。
3つの要素について、最初は Atom、次がメタデータ、最後が関数コールの引数です。

Chrisは、このような例を示しました。

defmodule Assertions do

  defmacro assert({operator, _, [lhs, rhs]}) do
    quote do
      do_assert unquote(operator),
                unquote(lhs),
                unquote(rhs)
    end
  end

  def do_assert(:==, lhs, rhs) when lhs == rhs do
    IO.write(".")
  end

  def do_assert(:==, lhs, rhs) do
    IO.puts """
    FAIL: Expected: #{lhs}
    to be equal to: #{rhs}
    """
  end

  def do_assert(:>, lhs, rhs) when lhs > rhs do
    IO.write(".")
  end

  def do_assert(:>, lhs, rhs) do
    IO.puts """
    FAIL:     Expected: #{lhs}
    to be greater than: #{rhs}
    """
  end

end

defmodule MyTest do
  import Assertions

  def run do
    assert 1 == 1
    assert 3 > 1
    assert 5 == 0
    assert 0 > 8
  end
end

これを実行してみます。

iex> MyTest.run
..
FAIL: Expected: 5
to be equal to: 0

FAIL:     Expected: 0
to be greater than: 8

:ok

assert と == 又は > の組み合わせには、マクロで新たな機能が追加され、do_assert の when ガードにマッチングしなかった場合、FAIL で始まるメッセージを出すようにしました。

use とか unicode とか

前々回の私の記事で継承として紹介した use もまた、マクロです。
ElixirのUnicode関連の話もありましたが、かなり深くて、しかもややこしいので、ここでは割愛します。

Phoenix Web Framework

Router DSLは、このように記述されます。

defmodule Router do
  use Phoenix.Router, port: 4000

  get  "/pages/:page", Ctrls.Pages, :show, as: :page
  get  "/files/*path", Ctrls.Files, :show
  post "/files",       Ctrls.Files, :upload

  resources "users", Ctrls.Users do
    resources "comments", Ctrls.Comments
  end
end

これ、全部マクロです。

get "/pages/:page", Ctrls.Pages, :show, as: :page

この行は、

def match(conn, :get, ["pages", page]) do
  conn = conn.params(Dict.merge(conn.params, [
    {"page", page}
  ]))
  apply(Ctrls.Pages, :show, [conn])
end

このようなコードに展開されます。

Fun

というわけで、むやみやたらにマクロを使って作られたのが Phoenix Web Framework です。
最後に、GitHubのリポジトリの "watchers" を取得するコードを書いて「楽しい!」で締めくくりました。

結局、冒頭の「マクロは書くな」というメッセージはよくわかりませんでしたが、「マクロをむやみに使え」「そして楽しめ」(and Have Fun!)というのは、発表者Chris が Phoenix で体現していることというわけですね。

まとめ

Erlang Factory SF Bay Area 2014 の報告をしました。
登壇者はいずれもレベルが高いですし、学びも非常に多く、良い刺激になりました。
ぜひ2015年も行きたいです。(お金があれば・・・休みが取れれば・・・)

明日、今年のラストを飾るのは @ma2ge さんです。