改めて「型」について考えてみよう

改めて「型」について考えてみようレバテック開発部／案件ドメインチーム瀬尾光希の使い方

|　© 2024 Levtech Co., Ltd. 2 レバテック開発部案件ドメインチーム／技術広報瀬尾光希
KOUKI SEO #バックエンドエンジニア　#テックブログ／イベント運営　#ピアノ　#Valorant さいきん右の親知らず抜いた

3 © 2024 Leverages Co., Ltd. 案件ドメインチーム（メンバー3人！助っ人求む） • 「事業価値への貢献」と「営業生産性の向上」をシステム改善で実現する。 •
案件ドメインにかかわるビジネスサイドと共通のメンタルモデルを獲得する。 • 戦略的DDDを実践できる体制や関係性を構築する。営業支援システム As Is 営業支援システム To Be ‧機能の細かい部分が実際の業務と乖離してしまっており、営業さんの運⽤でカバーされている状態 ‧Laravel+Twig+jQuery に起因する UX の悪さで営業⽣産性が低い状態（開発者体験も悪い…） ‧MVC, Laravelの黒魔術に則った歴史により偶有的複雑性を多分にはらんでしまった保守性の悪い状態 ‧実際の業務と親和性の⾼いシステムに近づけ、無駄な作業の発⽣や教育コストをなくす ‧Reactの導⼊などのモダナイズによってフロントエンドを最適化∕UXを改善し、営業⽣産性を向上させる ‧ドメインモデリングを通してリファクタリングを⾏い、変更容易性の⾼いシステムにするどんな仕事してるの？事業優先度の高い部分から To Be を目指して改善中！

7 © 2024 Leverages Co., Ltd. 題材｜ジェットコースターに人を乗せるハンドラージェットコースターの仕様 120cm〜200cmが乗れる 6歳〜60歳が乗れる
乗った人は20%の確率で転落する可能性がある

8 © 2024 Leverages Co., Ltd. 題材｜ジェットコースターに人を乗せるハンドラーハンドラーの処理 1. 乗りたい人がくる
2. その人をジェットコースターに乗せる 3. その人がジェットコースターから降りたら支払いさせる ◦ 転落したら支払いせず、救急車に乗せる ① ② ③ ❌

ハンドラーは乗客をうけとる

身長と年齢をもった乗客

身長と年齢のバリデーション

14 © 2024 Leverages Co., Ltd. どうハンドラーを実装しますか？上から愚直に書いていくパターン • ジェットコースターに乗せる処理が必要だな〜
• 支払いのために乗ったかどうかのステータスが必要だな〜

• 支払いのために乗ったかどうかのステータスが必要だな〜バリデーション済みの人をジェットコースターに乗せる

• 支払いのために乗ったかどうかのステータスが必要だな〜ジェットコースターの処理 20%で転落超えたら乗り終えたとしてマーク

• 支払いのために乗ったかどうかのステータスが必要だな〜乗り終えたステータスを管理

try-catch 内でジェットコースター成功したら集金、失敗したら救急車

集金できたかのステータス管理

21 © 2024 Leverages Co., Ltd. どうハンドラーを実装しますか？上から愚直に書いていくパターン完成✨ 型関数
ハンドラー本体

22 © 2024 Leverages Co., Ltd. 上から愚直に書いていくパターン • 乗客という型を実装を進めるとともに修正
していった • 結果的に乗客という型ひとつで全ての状態を表現した

23 © 2024 Leverages Co., Ltd. 上から愚直に書いていくパターン • 乗客という型を実装を進めるとともに修正
していった • 結果的に乗客という型ひとつで全ての状態を表現した具体実装→型という順番で修正抽象と具体を考える順番が逆になってしまっている “型安全化”のために型をつかっている

31 © 2024 Leverages Co., Ltd. 型から書いていくパターン • 要件をまず型という抽象的な実装に落とし込む
• 関数は型から型への遷移をになう • ハンドラーでは型の遷移を組み立てる（具体的な実装）抽象的な型→具体的な実装という順番で要件をロジックにおとしこんだ抽象度を段階的に下げることができる

32 © 2024 Leverages Co., Ltd. • すべての状態で型が異なるので、ハンドラー内で What（要件）を読み取りやすい •
How を型→型への状態遷移をあらわす関数として表現できる • それぞれの関数は入出力が決まっているため型安全かつテストしやすい • 型に対する静的解析が効くため実行時エラーが減る　etc. 型から実装したハンドラー｜その他の利点処理ごとに型が変化ずっと型としては同じ

33 © 2024 Leverages Co., Ltd. • それぞれの型を発見するためには、ドメインモデリングや要件定義が重要になる •
エンジニアがビジネスに向き合うきっかけとしても「型」は良いきっかけになる型から実装したハンドラー｜実践しようとすると… ❌ 客 • Not乗客 • 乗客 • 乗り終えた乗客 • 転落した乗客支払った乗客

改めて「型」について考えてみよう

改めて「型」について考えてみよう

More Decks by Tech Leverages

Other Decks in Technology

Featured

Transcript