Elixirの特徴
- 以下を見ておくと良い
環境整備
わしのマシン
- OS X Yosemite
- Ver 10.10.5
インストールコマンド
brew install elixir
インストール確認
$ iex -v
Erlang/OTP 19 [erts-8.1] [source] [64-bit] [smp:4:4] [async-threads:10] [hipe] [kernel-poll:false] [dtrace]
IEx 1.3.4
Elixirの実行
- コードの動作確認は対話シェル上で行う
$ iex
Erlang/OTP 19 [erts-8.1] [source] [64-bit] [smp:4:4] [async-threads:10] [hipe] [kernel-poll:false] [dtrace]
Interactive Elixir (1.3.4) - press Ctrl+C to exit (type h() ENTER for help)
iex(1)> IO.puts("Get Wild")
Get Wild
:ok
iex(2)>
基本的なデータの型
https://elixirschool.com/jp/lessons/basics/basics/#section-2
ここを見ておけばOK。
個人的なメモ
整数の除算
浮動小数点で返ってくる
iex(365)> 10 / 2
5.0
iex(366)>
整数で戻り値を受け取りたい場合はdiv関数を使う
iex(366)> div(10,2)
5
iex(367)>
余りはrem関数を使って計算する
iex(373)> rem(10, 3)
1
iex(374)>
文字列の扱い
ダブルクォーテーションで囲った場合
iex(14)> "ゲットワイルド"
"ゲットワイルド"
iex(15)>
シングルクォーテーションで囲った場合
iex(15)> 'ゲットワイルド'
[12466, 12483, 12488, 12527, 12452, 12523, 12489]
iex(16)>
http://elixir-lang.org/getting-started/binaries-strings-and-char-lists.html#char-lists
Elixirには文字リストというものが存在するらしく、文字列とは別物になるそう。
iex(19)> 'あいうえお'
[12354, 12356, 12358, 12360, 12362]
iex(20)>
iex(32)> to_string [12354, 12356, 12358, 12360, 12362]
"あいうえお"
iex(33)>
iex(43)> 'あいうえお' == "あいうえお"
false
iex(44)> 'あいうえお' == [12354, 12356, 12358, 12360, 12362]
true
iex(45)>
なんて馴染みの無い動きでしょう・・・。
匿名関数の実行
- 匿名関数の定義
- <> は文字列連結
iex(57)> kdm = fn a,b -> a <> b end
#Function<12.52032458/2 in :erl_eval.expr/5>
iex(58)>
- 匿名関数の実行
- ドットを付けないとエラーになる
iex(58)> kdm.("Get ", "Wild")
"Get Wild"
iex(59)>
iex(61)> kdm("Get ", "Wild")
** (CompileError) iex:61: undefined function kdm/2
iex(61)>
=(イコール)の扱い
= は代入ではなく、パターンマッチ。らしい。
iex(76)> getwild = 1
1
iex(77)>
これはgetwildに1を代入するではなく、getwildが1にマッチ(束縛)されたと考えるらしい。
iex(80)> 1 = getwild
1
iex(81)>
なので、上のコードは成り立つ。
(1とgetwildはパターンマッチしている)
iex(81)> 2 = getwild
** (MatchError) no match of right hand side value: 1
iex(81)>
こっちはエラーになる。
(2とgetwildはパターンマッチしていないから)
同時に複数の束縛も可能。
iex(87)> {g,e,t,w,i,l,d} = {"ゲ","ッ","ト","ワ","イ","ル","ド"}
{"ゲ", "ッ", "ト", "ワ", "イ", "ル", "ド"}
iex(88)> {"ゲ","ッ","ト","ワ","イ","ル","ド"} = {g,e,t,w,i,l,d}
{"ゲ", "ッ", "ト", "ワ", "イ", "ル", "ド"}
iex(89)>
iex(91)> {"ゲ","ッ","ト","マ","イ","ル","ド"} = {g,e,t,w,i,l,d}
** (MatchError) no match of right hand side value: {"ゲ", "ッ", "ト", "ワ", "イ", "ル", "ド"}
iex(91)> g
"ゲ"
iex(92)> e
"ッ"
iex(93)> t
"ト"
iex(94)> w
"ワ"
iex(95)> i
"イ"
iex(96)> l
"ル"
iex(97)> d
"ド"
iex(98)>
変数同士で = を使うと再束縛になる
iex(162)> getwild = "ゲットワイルド"
"ゲットワイルド"
iex(163)> getmild = "ゲットマイルド"
"ゲットマイルド"
iex(164)> getwild = getmild
"ゲットマイルド"
iex(165)> getwild
"ゲットマイルド"
iex(166)>
iex(169)> getwild = "ゲットワイルド"
"ゲットワイルド"
iex(170)> getmild = "ゲットマイルド"
"ゲットマイルド"
iex(171)> getmild = getwild
"ゲットワイルド"
iex(172)> getmild
"ゲットワイルド"
iex(173)>
iex(176)> "ゲットマイルド" = getmild
** (MatchError) no match of right hand side value: "ゲットワイルド"
iex(176)>
パターンマッチの使い方例
例えばこんなモジュールと関数が定義されているとして・・・
iex(192)> defmodule SampleModule do
...(192)>
...(192)> def do_something(status) do
...(192)> case status do
...(192)> {:ok, value} ->
...(192)> "ok!bubbly! value is #{value}"
...(192)> {:nope, value} ->
...(192)> "nope... value is #{value}"
...(192)> _ ->
...(192)> "You are Get Wild"
...(192)> end
...(192)> end
...(192)>
...(192)> end
iex(211)> SampleMod.do_something({:ok, "kdm"})
"The status was :ok! value is kdm"
iex(212)>
nil
iex(213)> SampleMod.do_something({:nope, "kdm"})
"Nope nope nope nope... value is kdm"
iex(214)>
iex(216)> SampleMod.do_something(111)
"You are Get Wild"
iex(217)> SampleMod.do_something({:ok})
"You are Get Wild"
iex(218)> SampleMod.do_something({:nope})
"You are Get Wild"
iex(219)> SampleMod.do_something({"Get Wild?"})
"You are Get Wild"
iex(220)>
パターンマッチを利用して処理の分岐が可能。
関数のパターンマッチ
iex(242)> defmodule SampleModule do
...(242)>
...(242)> def say_hello() do "Get Wild" end
...(242)> def say_hello(name) do "Hello! #{name}." end
...(242)>
...(242)> end
- 引数がある場合
iex(243)> SampleModule.say_hello("kdm")
"Hello! kdm."
iex(244)>
- 引数が無い場合
iex(245)> SampleModule.say_hello()
"Get Wild"
iex(246)>
関数の中で if 引数がnilだったら・・・ みたいなことを記述しなくて済む。
mapの場合部分的なパターンマッチが可能
ex(276)> defmodule SampleModule do
...(276)>
...(276)> def get_wild(%{"getwild" => wild}) do IO.puts wild end
...(276)> def get_wild(_) do IO.puts "Not Wild" end
...(276)>
...(276)> end
iex(277)> params = %{"getwild" => "Get Wild", "hoge" => :hoge}
%{"getwild" => "Get Wild", "hoge" => :hoge}
iex(278)>
iex(279)> SampleModule.get_wild(params)
Get Wild
:ok
iex(280)> params = %{"kdm" => :hoge, "fuga" => :fuga}
%{"fuga" => :fuga, "kdm" => :hoge}
iex(281)>
iex(282)> SampleModule.get_wild(params)
Not Wild
:ok
iex(283)>
ifの書き方
色々な種類の書き方がある
iex(103)> if true do
...(103)> "Get " <> "Wild"
...(103)> end
"Get Wild"
iex(106)> if true, do: (
...(106)> "Get " <> "Wild"
...(106)> )
"Get Wild"
iex(109)> if true, do: "Get " <> "Wild"
"Get Wild"
iex(110)>
elseも同じ
iex(116)> if false do
...(116)> "Get Mild"
...(116)> else
...(116)> "Get Wild"
...(116)> end
"Get Wild"
iex(117)>
iex(120)> if false, do: "Get Mild", else: "Get Wild"
"Get Wild"
iex(121)>