Сила Pattern Matching

Владимир Филонов: Pattern Matching - один из основных методов работы со структурированными данными в Erlang\Elixir. Поговорим о том, чем он удобен, зачем нужен и как им пользоваться с практическими примерами: http://elixir-lang.moscow/events/1/talks/sila-pattern-matching

Transcript

1. 1 Pattern Matching В Erlang и Elixir
2. 2 Шаблоны — не только в программировании
3. Тест Роршаха 3
4. Два чувака пьют чай из самовара пока обезьяны чешут им спины 4
6. 6 iex(1)> x = 1 1 Присвоение и сравнение
7. 7 iex(1)> x = 1 1 iex(2)> 1 = x 1 Присвоение и сравнение
8. 8 iex(1)> x = 1 1 iex(2)> 1 = x 1 iex(3)> 2 = x ** (MatchError) no match of right hand side value: 1 Присвоение и сравнение
9. 9 1> X = 1. 1 2> X = 2. ** exception error: no match of right hand side value 2 Erlang
10. 10 iex(1)> x = 1 1 iex(2)> x = 2 2 iex(2)> ^x = 3 ** (MatchError) no match of right hand side value: 2 Elixir
11. 11 Кортежи iex(1)> t = {:ok, "some result"} iex(2)> {:ok, result} = t {:ok, "result"} iex(3)> result "result"
12. 12 Списки iex(1)> list = [1, 2, 3] iex(2)> [head|tail] = list iex(3)> head 1 iex(3)> tail [2, 3]
13. Зачем это? 13
14. 14 Зачем это? iex(1)> File.read("/path/to/file") {:ok, "content"}
15. 15 Зачем это? iex(1)> File.read("/path/to/file") {:ok, "content"} iex(2)> File.read("/wrong/path/to/file") {:error, :enoent}
16. 16 Зачем это? iex(1)> File.read("/path/to/file") {:ok, "content"} iex(2)> File.read("/wrong/path/to/file") {:error, :enoent} iex(3)> File.read("/root/secret") {:error, :eacces}
17. 17 Зачем это? case File.read("/root/secret") do {:ok, data} -> IO.puts data {:error, :enoent} -> IO.puts "No file" {:error, error} -> IO.puts ["Unexpected: " | to_string(error)] end
18. 18 Зачем это? $ elixir file.ex Unexpected error: eacces
19. Перегрузка функций 19
20. 20 Перегрузка функций defmodule WhatsThis do def this_is() do this_is("nothing") end def this_is(value) do ["This is " | value] end end
21. 21 Перегрузка функций iex(1)> IO.puts WhatsThis.this_is() This is nothing iex(2)> IO.puts WhatsThis.this_is("something") This is something
22. 22 Перегрузка функций iex(1)> IO.puts WhatsThis.this_is() This is nothing iex(2)> IO.puts WhatsThis.this_is("something") This is something iex(3)> IO.puts WhatsThis.this_is("something", "else") ** (UndefinedFunctionError) function WhatsThis.this_is/2 is undefined or private.
23. Пример получше 23
24. 24 defmodule Math do def sum(args) do sum(args, 0) end def sum([], result) do result end def sum([arg|args], result) do sum(args, result+arg) end end
25. 25 iex(1)> Math.sum([1, 2, 3]) 6 iex(2)> Math.sum([1, 2], 3) 6
26. 26 iex(1)> Math.sum(1, 2) ** (FunctionClauseError) no function clause matching in Math.sum/2 math.ex:6: Math.sum(1, 2)
27. defmodule Math do ... def sum(arg1, arg2) do arg1+arg2 end ... end 27
28. def sum(arg1, arg2) do ... def sum([], result) do ... def sum([arg|args], result) do ... 28 Порядок шаблонов
29. warning: this clause cannot match because a previous clause at line 6 always matches math.ex:10 29 Порядок шаблонов
30. 30 iex(1)> Math.sum(1, 2) 3 iex(2)> Math.sum([1, 2, 3]) ** (ArithmeticError) bad argument in arithmetic expression math.ex:7: Math.sum/2
31. def sum([], result) do ... def sum([arg|args], result) do … def sum(arg1, arg2) do ... 31 Порядок шаблонов
32. 32 iex(1)> Math.sum(1, 2) 3 iex(2)> Math.sum([1, 2, 3]) 6 iex(3)> Math.sum([1, 2], 3) 6
33. 33 iex(3)> Math.sum(3, [1, 2]) ** (ArithmeticError) bad argument in arithmetic expression
34. Guards — pattern matching с проверками 34
35. def func(arg) when expr do ... case arg do A when expr -> ... A when expr2 -> ... 35 Guards
36. def sum(arg1, arg2) when is_integer(arg1) and is_integer(arg2) do arg1+arg2 end def sum(arg1, arg2) when is_integer(arg1) and is_list(arg2) do sum(arg2, arg1) end 36 Guards
37. 37 iex(1)> Math.sum([1, 2], 3) 6 iex(1)> Math.sum(3, [1, 2]) 6
38. Бинарный Pattern Matching 38
39. 39 iex(1)> data = <<1, 2, 3, 4, 5, 6, 7, 8>> <<1, 2, 3, 4, 5, 6, 7, 8>>
40. 40 iex(1)> data = <<1, 2, 3, 4, 5, 6, 7, 8, >> <<1, 2, 3, 4, 5, 6, 7, 8>> iex(2)> <<header :: 32, body :: bits>> = data iex(3)> header <<1, 2, 3, 4>>
41. 41 iex(1)> data = <<1, 2, 3, 4, 5, 6, 7, 8, >> <<1, 2, 3, 4, 5, 6, 7, 8>> iex(2)> <<header :: 32, body :: bits>> = data iex(3)> header <<1, 2, 3, 4>> iex(4)> <<header :: binary-size(4), body :: binary>> = data
42. 42 iex(1)> data = <<1, 2, 3, 4, 5, 6, 7, 8, >> <<1, 2, 3, 4, 5, 6, 7, 8>> iex(2)> <<header :: 32, body :: bits>> = data iex(3)> header <<1, 2, 3, 4>> iex(4)> <<header :: binary-size(4), body :: binary>> = data
43. Разбор MP3 43 Спрошной Pattern Matching
44. Чтение файла - case 44
45. 45 case File.read(file_name) do {:ok, mp3} -> parse_mp3(mp3) {:error, error} -> IO.puts "Couldn't open #{file_name}. #{error}" end
46. ID3-тэги — последние 128 байт файла 46
47. 47 mp3_byte_size = byte_size(mp3) - 128 << body :: binary-size(mp3_byte_size), id3_tag :: binary >> = mp3
48. 48 <<84, 65, 71, 89, 101, 115, 116, 101, 114, 100, 97, 121, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 66, 101, 97, 116, 108, 101, 115, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...>>
49. 49 << "TAG", title :: binary-size(30), artist :: binary-size(30), album :: binary-size(30), year :: binary-size(4), comment :: binary-size(30), _rest :: binary >> = id3_tag
50. 50 iex(1)> IO.puts 'title: #{title}' title: Yesterday iex(2)> IO.puts 'artist: #{artist}' artist: Beatles iex(3)> IO.puts 'album: #{album}' album: The Beatles
51. Кадр MP3 4 байта на заголовок 51
52. 52 << mp3_frame_header :: binary-size(4), tail :: binary >> = body
53. 53 << sync :: 11, version :: 2, layer :: 2, protection :: 1, bitrate :: 4, frequency :: 2, padding :: 1, _priv :: 1, mode :: 2, mode_ext :: 2, copyright :: 1, is_copy :: 1, emphasis :: 2 >> = mp3_frame_header
54. И так далее =) 54
55. Спасибо! Вопросы? 55 https://fb.me/pyhoster vladimir@itcanfly.org