表示

IO.write "foo" # => 改行なし
IO.puts "foo"  # => 改行あり
IO.inspect 123 # => デバッグ用

特徴

型がない

配列内に異なる型の値を入れることが出来る

関数の中で変更は行わない

構文

変数宣言

x = 1

コメント

# コメント

タイプ

iex> 1          # integer
iex> 0x1F       # integer
iex> 1.0        # float
iex> true       # boolean
iex> :atom      # atom / symbol
iex> "elixir"   # string
iex> [1, 2, 3]  # list
iex> {1, 2, 3}  # tuple

型チェック

iex> is_integer 1
iex> is_boolean true
iex> is_list [1, 2, 3]

文字列

シングルクォーテーションやダブルクオーテーションで囲む、#{x}で変数の中身を出力することもできる。

str1 = 'abc'
str2 = "def"
str3 = "a\tbc\n"
str4 = "#{str1} def" # => "abc def"

文字列連結

<>

掛け算/割り算

divとrem

切り上げ/切り捨て

roundとtranc

メソッド

演算子

+もメソッドであり、Elixer上では+/2と定義されている

メソッドの再定義

elixir のエラーでround/1やround/2というのがよく出る。 これは、引数の数を表し、roundの場合は同じ名前で引数の個数が異なるメソッドが存在することを表す

Atom

Rubyのシンボルのようなもの :testで宣言出来て、ただ一つの物体になる。 trueやfalseはAtomで定義されている。

is_atom(true)    # => true
is_boolean(true) # => true

無名関数

add = fn a, b -> a + b end
add.(1, 2) # => 3
is_function(add) # => true
is_function(add, 2) # => true 引数の個数もチェック
is_function(add, 1) # => false 引数の個数もチェック

無名関数では、ドット(.)とかっこは必須、命名メソッドでは省略することが出来る

無名関数はクロージャ―なので、スコープ内の変数にアクセスすることが出来る アクセスすることはできるが、変更した結果は関数の外では無効になる

配列

• ++: 和結合
• --: 差結合(個数分しか削除されない)

[1, 2, 3, 4] ++ [4, 4, 5, 6] # => [1, 2, 3, 4, 4, 4, 5, 6]
[1, 2, true, 3, 4, false, true] -- [true, false] => [1, 2, 3, 4, true]
[1, 2, true, 3, 4, false, true] -- [true, true, false] => [1, 2, 3, 4]

• hd: 先頭を返す
• tl: 後部を返す

ary = [1, 2, 3, 4]
hd ary # => 1
tl ary # => [2, 3, 4]

もし、配列がからの場合はArgmentErrorを返す

hd []
#** (ArgumentError) argument error
#    :erlang.hd([])

配列の値が数値の場合、出力するとASCIIに置き換えられる

[65, 66, 67]
# ABC

i メソッドを用いることで、変数の型に関する情報を見ることが出来る

iex(4)> i 'hello'
Term
  'hello'
Data type
  List
Description
  This is a list of integers that is printed as a sequence of characters
  delimited by single quotes because all the integers in it represent valid
  ASCII characters. Conventionally, such lists of integers are referred to as
  "charlists" (more precisely, a charlist is a list of Unicode codepoints,
  and ASCII is a subset of Unicode).
Raw representation
  [104, 101, 108, 108, 111]
Reference modules
  List
Implemented protocols
  IEx.Info, Collectable, Enumerable, Inspect, List.Chars, String.Chars

'hello'と"hello"はそれぞれ別者扱いになる。

シングルクォーテーションはList型、ダブルクオーテーションはBigString型になる

Tuple

タプルのインデックスは0始まり

値の取得

tuple = [:ok, "hello"]
elem(tuple, 1) #=> "hello"
tuple_size(tuple) #=> 2

値の変更

タプルも配列同様不変で、put_elemをしても新しいタプルを返す

tuple = {:ok, "hello"}
put_elem(tuple, 1, "world") #=> {:ok, "world"}
tuple #=> {:ok, "hello"}

List と Tuple どちらを使うべきか

Listは前の値と後ろの値を保持した状態でメモリに格納されている。 一方、Tupleは連続した状態でメモリに格納される。

つまり、Listは値の追加はリスト構造を変更する添え字を変更するだけで良いので、コストは低い しかし、Tupleは値を追加した場合は、新たなTupleを返すのでコストが高くなる。 ただし、Tupleの中の情報自体は共通なので、新たに作成されたTupleの中身のデータを変更すると、前のTupleの中身のデータも変更される。

演算子

• div 割り算
• rem 余り
• ++ listの和結合
• <> 文字列結合
• and, or boolean用

false and raise("This error will never be raised") #=> false
true or raise("This error will never be raised") #=> true

• ll 左辺がnil, false の場合に右辺を返す。左辺がnil以外, trueの場合、左辺を返す

• && 左辺がnil, false の場合に左辺を返す。左辺がnil以外, trueの場合、右辺を返す

• ! boolenの場合、値を反転させる。nilの場合、true。nil以外の場合、falseを返す

• == 値として等しいか 1 == 1.0 #=>true

• === 型まで確認 1 === 1.0 #=>false

• 異なる方でもソートをすることが出来る。 ソート順は以下の通り

number < atom < reference < function < port < pid < tuple < map < list < bitstring