はじめに
- KFIEという近畿大学産業理工学部の情報系コミュニティがあります
- 最近は、毎週火曜日にLT会をやっているそうです
- 私が学生だったのはもうずいぶん昔のことなのですが、参加させてもらっています
- 毎週、5分間時間をもらって、Elixirいいよ！ を伝えていきたいとおもいます
- 今日は以下を学びます
- 型
- A journey of a thousand miles begins with a single step.
- この記事はElixirを触るのがはじめてという方に向けて書いています
もくじ
001 mix new, iex -S mix, mix format
|> 002 型
|> 003 Pattern matching
|> 004 Modules and functions
|> 005 Pipe operator and Enum module
|> 006 HTTP GET!
|> 007 Flow
|> 008 AtCoderを解いてみる
|> 999 Where to go next
型
- ここからさきは
iexを起動して確かめることができます
iex> 1 # integer
iex> 0x1F # integer
iex> 1.0 # float
iex> true # boolean
iex> :atom # atom / symbol
iex> "elixir" # string
iex> 'elixir' # charlist
iex> [1, 2, 3] # list
iex> [foo: :bar] # keyword list
iex> [{:foo, :bar}] # keyword list
iex> {1, 2, 3} # tuple
iex> %{name: "torifuku", age: 5} # map
iex> i "elixir"
Term
"elixir"
Data type
BitString
Byte size
6
Description
This is a string: a UTF-8 encoded binary. It's printed surrounded by
"double quotes" because all UTF-8 encoded code points in it are printable.
Raw representation
<<101, 108, 105, 120, 105, 114>>
Reference modules
String, :binary
Implemented protocols
Collectable, IEx.Info, Inspect, Jason.Encoder, List.Chars, String.Chars
-
iで"Prints information about the data type of any given term."できます
四則演算など
iex> 1 + 2
3
iex> 10 - 2
8
iex> 5 * 5
25
iex> 10 / 2
5.0
iex> div(10, 2)
5
iex> rem(10, 3)
1
iex> :math.pow(2, 8) # 2の8乗
256.0
iex> 1 == 2
false
iex> 1 == 1.0
true
iex> 1 === 1.0
false
iex> 1 != 2
true
iex> [foo: :bar, hoge: :fuga] == [{:foo, :bar}, {:hoge, :fuga}]
true
iex> 3 > 1
true
iex> "1" > 100
true
iex> 3 < 1
false
iex> 300 >= 2
true
iex> 300 <= 2
false
iex> false or true
true
iex> 1 || true
1
iex> false || 11
11
iex> true and true
true
iex> nil && 13
nil
iex> true && 17
17
iex> !true
false
iex> round(3.58)
4
iex> trunc(3.58)
3
iex> h round/1
- ドキュメントは
hで表示できます - 型の異なる大小比較の場合、型の大小が定義されています
number < atom < reference < function < port < pid < tuple < map < list < bitstring
Strings
iex> byte_size("hellö")
6
iex> String.length("hellö")
5
iex> String.upcase("hellö")
"HELLÖ"
iex> h = "hello"
"hello"
iex> w = "world"
"world"
iex> h <> " " <> w
"hello world"
iex> "#{h} #{w}"
"hello world"
(Linked) Lists
iex> [1, 2, true, 3]
[1, 2, true, 3]
iex> length [1, 2, 3]
3
iex> [1, 2, 3] ++ [4, 5, 6]
[1, 2, 3, 4, 5, 6]
iex> [1, true, 2, false, 3, true] -- [true, false]
[1, 2, 3, true]
iex> list = [1, 2, 3]
iex> hd(list)
1
iex> tl(list)
[2, 3]
Tuples
iex> tuple_size {:ok, "hello"}
2
iex> elem(tuple, 1)
"hello"
iex> {:ok, content} = File.read("mix.exs")
{:ok,
"defmodule JsonCsv.MixProject..." }
iex> content
"defmodule JsonCsv.MixProject..."
Maps
iex> map = %{name: "torifuku", age: 5}
%{age: 5, name: "torifuku"}
iex> Map.get(map, :name)
"torifuku"
iex> Map.get(map, :height)
nil
iex> new_map = Map.merge(map, %{height: 200})
%{age: 5, height: 200, name: "torifuku"}
iex> map
%{age: 5, name: "torifuku"}
iex> new_map
%{age: 5, height: 200, name: "torifuku"}
iex> map_size(map)
2
iex> map_size(new_map)
3
- immutable(Mapだけの話ではなく、全体的に)
Anonymous functions
iex> add = fn a, b -> a + b end
#Function<43.97283095/2 in :erl_eval.expr/5>
iex> add.(1, 2)
3
iex> (fn a, b -> a + b end).(100, 200)
300
Wrapping Up
- 型について学びました
- integer
- float
- boolean
- atom
- string
- charlist
- list
- keyword list
- tuple
- map
- immutable
- 次回は Pattern matching です
- We are the Alchemists, my friends!
- Elixirの使い手のことは、Alchemistと呼ばれます
- Alchemist means that a person who studied alchemy.
- Alchemy means that a form of chemistry studied in the Middle Ages that involved trying to discover how to change ordinary metals into gold
- アルケミスト 夢を旅した少年
(おまけ 1)Elixirのlength, size には意味があります
- lengthはデータ構造をトラバースして長さを求める
- O(n)
- As a mnemonic, both "length" and "linear" start with "l".
- sizeはデータ構造の中に長さを持っている
- O(1)
- 参考: length and size
(おまけ 2)整数のリストが 'Elixir' のようにシングルクォートで囲まれた文字列で表示されることがあります
iex> [69, 108, 105, 120, 105, 114]
'Elixir'
iex> IEx.configure(inspect: [charlists: :as_lists])
:ok
iex> [69, 108, 105, 120, 105, 114]
[69, 108, 105, 120, 105, 114]
-
:inspectに指定できるオプションはInspect.Optsで参照できます -
IEx.configure/1自体のヘルプは、iexでh IEx.configure/1してください