Elixirとパターンマッチ

Transcript

1. Elixir とパターンマッチ Created by Hiroaki Osawa(@QWYNG)
2. Hiroaki Osawa Twitter @qwyngg GitHub https://github.com/QWYNG ブログ https://sasa5740.hatenablog.com Ruby とか Rails とか
4. Elixir の特徴 Erlang の仮想マシン上で実⾏される 関数型⾔語 変数がイミュータブル Ruby の⽂法の⽪を被った Erlang といわれている。 シンプルな⽂法で⾒やすい IO.puts "Hello World!" -module(hello). -export([main/0]). main() -> io:format("Hello World!\n").
5. Elixir の根幹、パターンマッチ
6. Elixir の = はパターンマッチ iex(1)> a = 1 # 左辺が変数なら値を束縛します >1 iex(2)> a + 3 >4 iex(3)> 1 = a # 代⼊ではない、 1 = 1 は真 > 1 iex(4)> 2 = a # 2 = 1 は偽ですね ** (MatchError) no match of right hand side value: 1
7. = の別の⾒⽅ ⽅程式 x = a + 1 において x に a + 1 を代⼊する意味ではない。 x と a + 1 は等しいとしているだけ
8. = の別の⾒⽅ ⽅程式 x = a + 1 において x に a + 1 を代⼊する意味ではない。 x と a + 1 は等しいとしているだけ って Erlang 作者の Joe Armstrong さんがいっていたそうです
9. 再代⼊はできません iex(1)> i = 42 42 iex(2)> i = 99 99 ⼀⾒できているように⾒えるが…
10. In Ruby irb(main):001:0> i = 42 => 42 irb(main):002:0> f = -> { i } => #<Proc:0x00007fded21ce108@(irb):2 (lambda)> irb(main):003:0> f.call => 42 irb(main):004:0> i = 99 => 99 irb(main):005:0> f.call => 99 変数の参照先が変わっている
11. In Elixir iex(1)> i = 42 42 iex(2)> f = fn -> i end # 無名関数 #Function<21.91303403/0 in :erl_eval.expr/5> iex(3)> f.() # 無名関数の呼び出し 42 iex(4)> i = 99 # ここでやっているのは変数のシャドウイング 99 iex(5)> f.() 42 同じ名前の別の変数扱い 元の i の参照先は変えない
12. 関数でのパターンマッチ １からｎまでの整数の合計を出す関数 defmodule Inject do def sum(0), do: 0 def sum(n), do: n + sum(n - 1) end Inject.sum(3) >6
13. defmodule Inject do def sum(0), do: 0 # 引数が0 の時は0 を返す def sum(n), do: n + sum(n - 1) #0 以外ならn + sum(n - 1) を返して再帰 end sum/1 #Elixir での関数の表し⽅、名前と引数の数が⼀緒なら⼀つの関数 この関数が引数を与えられると sum(0 = 3) # ✖ sum(n = 3) # ◯ ここにあるブロックを実⾏！ という処理が⾏われているイメージ
14. まとめ Elixir の根幹は= は代⼊ではないこと 関数でも条件でもこの考え⽅は⼀緒 プログラミングを最初に覚えたときには= の認識が変わったが、 Elixir は理解にはまたそれを忘れる必要がある
15. 参考 プログラミング Elixir ( ＤａｖｅＴｈｏｍａｓ ( 著), 笹⽥耕⼀ ( 翻訳), ⿃井雪 ( 翻訳)) とんでもない神本です。プロを⽬指すための Ruby ⼊⾨とメタプログ ラミング Ruby の中間くらいの内容で、Elixir を完全理解できます 変数の再定義の解説は@cedretaber さんの Qiita 記事をリスペクトし ました https://qiita.com/cedretaber/items/4a7b3572acaeafe070e2
16. 最後に宣伝 Ruby の Gem をいくつか公開しているのでぜひ使ってみてください pry-singular https://github.com/QWYNG/pry-singular クラスメソッドを Pry のコマンドにできる Gem D4C https://github.com/QWYNG/d4c rails console にオプションを⾜せるようになる Gem