古き良き Laravel のシステムは関数型スタイルでリファクタできるのか

by Tech Leverages

Slide 1

Slide 1 text

古き良き Laravel のシステムは関数型スタイルでリファクタできるのかレバテック開発部ひがき

Slide 2

Slide 2 text

今回の話

Slide 3

Slide 3 text

Slide 4

Slide 4 text

Slide 5

Slide 5 text

Slide 6

Slide 6 text

Slide 7

Slide 7 text

Slide 8

Slide 8 text

LTSF｜改善のターゲット

Slide 9

Slide 9 text

Slide 10

Slide 10 text

Slide 11

Slide 11 text

|　© 2025 Levtech Co., Ltd. 11 ひとつのレコードで状態を管理 LTSF｜改善のターゲット id status kama boko aji 1 1 hoge _ _ … id status kama boko aji 1 2 fuga 5 _ … 案件推薦 Model (MVC) 約 120 の Nullable カラムの神テーブル＆神モデル 😨 状態（status）によって値が入力されたりされなかったり…

Slide 12

Slide 12 text

Slide 13

Slide 13 text

Slide 14

Slide 14 text

Slide 15

Slide 15 text

Slide 16

Slide 16 text

Slide 17

Slide 17 text

Slide 18

Slide 18 text

Slide 19

Slide 19 text

Slide 20

Slide 20 text

やっていき

Slide 21

Slide 21 text

|　© 2025 Levtech Co., Ltd. 21 まずは動作が変わっていないことを保証するためのテストを書きたいが、リクエストバリデーションにロジックが集中しているため統合テストしか書けない… 統合テストは正常系のみ検査したい（実行時間との兼ね合い）が、統合テストでしか準正常系のテストが書けない… リファクタ方針やっていき実行時間との兼ね合い？？ ■ 統合テストではDBも含めてテストを行う ■ IOに時間がかかる Eloquentのモデルイベントを多用しているため、 0からモデルイベントを発火させる必要がある LTSF DB

Slide 22

Slide 22 text

Slide 23

Slide 23 text

Slide 24

Slide 24 text

Slide 25

Slide 25 text

Slide 26

Slide 26 text

Slide 27

Slide 27 text

Slide 28

Slide 28 text

Slide 29

Slide 29 text

Slide 30

Slide 30 text

Slide 31

Slide 31 text

Slide 32

Slide 32 text

Slide 33

Slide 33 text

Slide 34

Slide 34 text

|　© 2025 Levtech Co., Ltd. 34 ■ 純粋なPHPですべて実装されおり、入力が決まれば、出力が一意に決まる ■ 全ての条件をチェックする 2.1. 状態遷移やっていき Godモデル書類契約書類が確認済 WorkﬂowErrorを追加 Workﬂow Errorが存在しない No 双方承諾モデルドメインエラー No このブロックを追加していくことでロジックの移行を進められる今回移行するロジック

Slide 35

Slide 35 text

|　© 2025 Levtech Co., Ltd. 35 「関数型ドメインモデリング」で参考にしたこと ■ 内部を見なくても、予測可能で理解しやすい関数にする ■ I/Oを端に追いやる副作用を避けるためDBアクセスの結果を状態遷移の関数に渡した 2. ドメイン層でロジックを実現やっていき Scott Wlaschin (著) 猪股健太郎 (翻訳) 株式会社ドワンゴ「関数型ドメインモデリング」 Godモデル書類双方承諾モデルドメインエラー純粋関数

Slide 36

Slide 36 text

Slide 37

Slide 37 text

Slide 38

Slide 38 text

Slide 39

Slide 39 text

Slide 40

Slide 40 text

Slide 41

Slide 41 text

Slide 42

Slide 42 text

Slide 43

Slide 43 text

Slide 44

Slide 44 text

Slide 45

Slide 45 text

リファクタを通して

Slide 46

Slide 46 text

|　© 2025 Levtech Co., Ltd. 46 関数型スタイルにより享受できたメリットリファクタを通して ■ 状態と振る舞いを分離「モデル」と「モデルへの遷移」で関心ごとを分離できた今回の対象のビジネスロジックを「モデルへの遷移」の条件として表現できた ■ ドメイン層（状態遷移関数）が参照透過性を満たす IOを端に追いやったことで実現できた ■ 内部を見なくても、予測可能で理解しやすい関数にする Godモデル書類双方承諾モデルドメインエラー純粋関数

Slide 47

Slide 47 text

|　© 2025 Levtech Co., Ltd. 47 振り返り ■ Result型（クラス）を作ればもう少し整理して書けたかも　 PHPでResult型デフォルトであったら使ってた ■ PHPで関数型を再現する場合、クラスを大量に作ることになりそう　ある集合を作ろうと思った場合、PHPではクラスで表現することが多い ■ 0から理想のコードを作るより、　今あるコードをどう理想に近づけるかの面白さを学んだ（大変だけど）リファクタを通して

Slide 48

Slide 48 text

まとめ

Slide 49

Slide 49 text

Slide 50

Slide 50 text

宣伝

Slide 51

Slide 51 text

開発職向け会社紹介資料プロダクトや開発組織についてご紹介しています。 https://speakerdeck.com/leverages/levtech-hui-she-shao-jie-zi-liao-enzi niazhi-xiang-ke レバテック開発部テックブログ日々の開発におけるリアルをお届けしています！ https://zenn.dev/p/levtech カジュアル面談フォーム気軽にご応募ください！いろんなお話しましょう！ https://hrmos.co/pages/leverages/jobs/A_c_00071