成立するElixirの再束縛（再代入）可という選択

2025年6月14日-15日で開催した関数型まつりでの発表資料です。
イベントページ：https://2025.fp-matsuri.org/
登壇概要：https://fortee.jp/2025fp-matsuri/proposal/8acfb03f-19ea-476a-b6e6-0cb4b03fec1f
登壇者：株式会社kubell プロダクト開発ユニット erin
解説動画：https://youtu.be/Qcx2fLlfbVI?si=YD8SR8bhfDS5XqGZ

Transcript

1. 関数型まつり2025 発表資料 2025.06.14 成立するElixirの 再束縛可という選択 erin
2. 2025.06.14 成立するElixirの 再束縛可という選択 関数型まつり2025 発表資料 erin
3. 2025.06.14 成立するElixirの 再束縛可という選択 関数型まつり2025 発表資料 erin
4. 自己紹介 よろしくお願いいたします！ 名前 erin 所属 株式会社kubell（ブース出しているので覗いていただけると） 趣味 ルービックキューブ（目標：30秒切り） アイコン 以前飼っていたスタッフィー（スタッフォードシャーブルテリア）
5. 目次 02 Elixirとは？ 01 はじめに 03 用語の整理 05 再束縛のデメリット 04 再束縛のメリット 06 まとめ
6. 目次 02 Elixirとは？ 01 はじめに 03 用語の整理 05 再束縛のデメリット 04 再束縛のメリット 06 まとめ
7. 目次 02 Elixirとは？ 01 はじめに 03 用語の整理 05 再束縛のデメリット 04 再束縛のメリット 06 まとめ
8. はじめに 　 • 関数型言語を学ぶと気になる「再代入」 • Elixirの「再束縛」は本当に悪手？
9. はじめに 　 • 関数型言語を学ぶと気になる「再代入」 • Elixirの「再束縛」は本当に悪手？
10. はじめに 　 • 関数型言語を学ぶと気になる「再代入」 • Elixirの「再束縛」は本当に悪手？
11. はじめに 　 • 関数型言語を学ぶと気になる「再代入」 • Elixirの「再束縛」は本当に悪手？
12. Elixirとは？ 　 • Elixir = Erlangベースの関数型言語 • 不変性・軽量プロセス・並行性に強い！ • オブジェクト指向言語のRubyライクな文法
13. Elixirとは？ 　 • Elixir = Erlangベースの関数型言語 • 不変性・軽量プロセス・並行性に強い！ • オブジェクト指向言語のRubyライクな文法
14. Elixirとは？ 　 • Elixir = Erlangベースの関数型言語 • 不変性・軽量プロセス・並行性に強い！ • オブジェクト指向言語のRubyライクな文法
15. Elixirとは？ 　 • Elixir = Erlangベースの関数型言語 • 不変性・軽量プロセス・並行性に強い！ • オブジェクト指向言語のRubyライクな文法
16. 用語の整理（可変と不変） 　 • 可変 = 代入以外でも値が変わる • Elixir = すべての値が不変
17. 用語の整理（可変と不変） 　 • 可変 = 代入以外でも値が変わる • Elixir = すべての値が不変
18. 用語の整理（可変と不変） 　 • 可変 = 代入以外でも値が変わる • Elixir = すべての値が不変
19. 用語の整理（可変と不変） 　 • 可変 = 代入以外でも値が変わる • Elixir = すべての値が不変
20. 用語の整理（可変と不変）
21. 用語の整理（可変と不変）
22. 用語の整理（可変と不変）
23. 用語の整理（可変と不変）
24. 用語の整理（可変と不変）
25. 用語の整理（可変と不変）
26. 用語の整理（可変と不変）
27. 用語の整理（可変と不変）
28. 用語の整理（可変と不変）
29. 用語の整理（文と式） 　 • 式 = 必ず値を返す • ifもcaseも値を返す！ • Elixir = 全て式で構成されている
30. 用語の整理（文と式） 　 • 式 = 必ず値を返す • ifもcaseも値を返す！ • Elixir = 全て式で構成されている
31. 用語の整理（文と式） 　 • 式 = 必ず値を返す • ifもcaseも値を返す！ • Elixir = 全て式で構成されている
32. 用語の整理（文と式） 　 • 式 = 必ず値を返す • ifもcaseも値を返す！ • Elixir = 全て式で構成されている
33. 用語の整理（文と式） 　 • 式 = 必ず値を返す • ifもcaseも値を返す！ • Elixir = 全て式で構成されている
34. 用語の整理（文と式）
35. 用語の整理（文と式）
36. 用語の整理（文と式）
37. 用語の整理（代入と束縛） 　 • 代入 = アドレスに値を格納 • 束縛 = 値に名前を関連付ける
38. 用語の整理（代入と束縛） 　 • 代入 = アドレスに値を格納 • 束縛 = 値に名前を関連付ける
39. 用語の整理（代入と束縛） 　 • 代入 = アドレスに値を格納 • 束縛 = 値に名前を関連付ける
40. 用語の整理（代入と束縛） 　 • 代入 = アドレスに値を格納 • 束縛 = 値に名前を関連付ける
41. 用語の整理（再代入と再束縛） 　 • 再代入 = 同じアドレスの値を変更 • 再束縛 = 新しい束縛が作られる
42. 用語の整理（再代入と再束縛） 　 • 再代入 = 同じアドレスの値を変更 • 再束縛 = 新しい束縛が作られる
43. 用語の整理（再代入と再束縛） 　 • 再代入 = 同じアドレスの値を変更 • 再束縛 = 新しい束縛が作られる
44. 用語の整理（再代入と再束縛） 　 • 再代入 = 同じアドレスの値を変更 • 再束縛 = 新しい束縛が作られる
45. 用語の整理（スコープ） 　 • 代入や束縛の影響範囲
46. 用語の整理（スコープ） 　 • 代入や束縛の影響範囲
47. 用語の整理（スコープ） 　 • 代入や束縛の影響範囲
48. 用語の整理（スコープ） 　 • 代入や束縛の影響範囲
49. 用語の整理（スコープ）
50. 用語の整理（スコープ）
51. 用語の整理（スコープ）
52. 用語の整理（スコープ）
53. 用語の整理（スコープ）
54. 用語の整理（スコープ）
55. 用語の整理（スコープ）
56. 用語の整理（スコープ）
57. Rubyとの差異
58. Rubyとの差異
59. Rubyとの差異
60. Rubyとの差異
61. 再掲 　 • Elixirの「再束縛」は本当に悪手？
62. 再掲 　 • Elixirの「再束縛」は本当に悪手？
63. 再掲 　 • Elixirの「再束縛」は本当に悪手？
64. 再掲 　 • Elixirの「再束縛」は本当に悪手？
65. 再束縛のメリット 　 • 計算途中の状態の名前付けに頭を悩ます必要なし • 処理の順番を変更する際の修正量が少なく済む
66. 再束縛のメリット 　 • 計算途中の状態の名前付けに頭を悩ます必要なし • 処理の順番を変更する際の修正量が少なく済む
67. 再束縛のメリット 　 • 計算途中の状態の名前付けに頭を悩ます必要なし • 処理の順番を変更する際の修正量が少なく済む
68. 再束縛のメリット 　 • 計算途中の状態の名前付けに頭を悩ます必要なし • 処理の順番を変更する際の修正量が少なく済む
69. 再束縛のメリット
70. 再束縛のメリット
71. 再束縛のメリット
72. 再束縛のメリット
73. 再束縛のメリット
74. 再束縛のメリット
75. 再束縛のメリット
76. 再束縛のデメリット 　 • 再代入 = バグの温床 • すべての変化に注目が必要に • Elixirではどうなのか？
77. 再束縛のデメリット 　 • 再代入 = バグの温床 • すべての変化に注目が必要に • Elixirではどうなのか？
78. 再束縛のデメリット 　 • 再代入 = バグの温床 • すべての変化に注目が必要に • Elixirではどうなのか？
79. 再束縛のデメリット 　 • 再代入 = バグの温床 • すべての変化に注目が必要に • Elixirではどうなのか？
80. 再束縛のデメリット
81. 再束縛のデメリット
82. 再束縛のデメリット
83. 再束縛のデメリット
84. 再束縛のデメリット
85. まとめ 　 • Elixirの再束縛は合理的 • 不変・式・スコープの合わせ技で成立
86. まとめ 　 • Elixirの再束縛は合理的 • 不変・式・スコープの合わせ技で成立
87. まとめ 　 • Elixirの再束縛は合理的 • 不変・式・スコープの合わせ技で成立
88. まとめ 　 • Elixirの再束縛は合理的 • 不変・式・スコープの合わせ技で成立
89. まとめ 　 • Elixirの再束縛は合理的 • 不変・式・スコープの合わせ技で成立
90. まとめ 　 • Elixirの再束縛は合理的 • 不変・式・スコープの合わせ技で成立
91. まとめ 　 • Elixirの再束縛は合理的 • 不変・式・スコープの合わせ技で成立
92. Thank you ご清聴ありがとうございました 関数型まつり2025 発表資料