ElixirですごいE本 4章

すごいErlangゆかいに学ぼう！

4.1 動的で強い型付け

• Elixirは動的で強い型付け

iex(1)> 6 + "1"
** (ArithmeticError) bad argument in arithmetic expression
    :erlang.+(6, "1")

4.2 型変換

• 型変換関数は各モジュールに実装されている
  • 例えばInteger => String変換はIntegerモジュールのto_stringを使う
  • http://elixir-lang.org/docs/stable/elixir/Integer.html

iex(3)> String.to_integer("54")
54
iex(5)> Integer.to_string 54
"54"
iex(6)> String.to_integer("54.32")
** (ArgumentError) argument error
    :erlang.binary_to_integer("54.32")
iex(6)> String.to_float("54.32")
54.32
iex(7)> Atom.to_string true
"true"

4.3 データ型を守るために

• 型テストBIFはkernelに入ってる
• http://elixir-lang.org/docs/stable/elixir/Kernel.html

4.4 型ジャンキーのために

• Dialyzerという静的型解析ツールがある