DomainException と Result 型で作る型安全なエラーハンドリング

© 2025 Dinii Inc. DomainException と Result 型で作る型安全なエラーハンドリング noren.ts
#1 2025-03-28 Hiroaki KARASAWA

株式会社ダイニー © 2025 Dinii Inc. ※こちらの枠内に詳細や、画像を記載/貼り付けしてください。白枠は、必要に応じて消していただいても大丈夫です。 @karszawa Introduction
Hiroaki KARASAWA (karszawa) 株式会社ダイニー VP of Technology Google Champion Innovator → Google Developer Experts (Modern Architecture, Serverless Application, Data) 趣味: HUNTER×HUNTER 自己紹介

株式会社ダイニー © 2025 Dinii Inc. 01 02 03 04
05 ダイニーの事業・技術・プロダクトについて JavaScript のエラーを二種類に分類 DomainException & Result 型について紹介サードパーティーライブラリと比較総括資料名を記載

株式会社ダイニー © 2024 Dinii Inc. 飲食店の売上UPに貢献する唯一無二のスーパーモバイルPOS オペレーションなしで売上UP! AIと専属スタッフにお任せ
お客様を自動で会員化自動販促メッセージアンケート自動回収店員へのチップ/投げ銭圧倒的な使いやすさで客単価UP ロイヤルティプログラム顧客情報を接客に活用

ダイニーが目指すのは、ダイニーについて株式会社ダイニー | Company Deck for Product © 2025
Dinii Inc.

TypeScript, React による言語・フレームワークの統一ダイニーについて複数プロダクトを跨った機能修正でも、一つのチームで担当することができる株式会社ダイニー | Company Deck for
Product © 2025 Dinii Inc.

株式会社ダイニー © 2025 Dinii Inc. ダイニーについて計測してみた。 ※ TypeScript
のコードのみを計測 ※ 自動生成コードを除外バックエンドコードベースの規模を紹介します。 3,000 ﬁles 340,000 lines ⛰ 2020年からの積み重ね ⛰

本日のトピック

TypeScript のエラーハンドリングを極める

良いね…

株式会社ダイニー © 2025 Dinii Inc. ダイニーについて資料名を記載下記の点に注意して発表をお聞きください。 1.
NestJS のバックエンドサービス 2. 普通の HTTP Web サーバー 3. 2020年頃の意思決定が色濃く反映されている 4. クライアントのエラーハンドリングは懇親会で話そうね Disclaimer

株式会社ダイニー © 2025 Dinii Inc. 資料名を記載 JavaScript のエラーを分類注文
→ 在庫確認 👀 → 在庫なし 🫥 → エラー！ 🚨 何かしらの異常なので全く発生しないのが期待値サードパーティー製のライブラリも基本的にこの形式でエラーを返してくる…。 1) ランタイムエラーシステムエラーではないが、ユーザー体験に悪影響の可能性一定数は発生が想定される。 2) ビジネスロジックのエラー

株式会社ダイニー © 2025 Dinii Inc. JavaScript のエラーを分類資料名を記載 e.g.
Node.js 自体のメモリリークもはや TypeScript は関係ないベストプラクティス • ちゃんとヘルスチェックを実装して怪しいやつはどんどん kill していこう • kill を監視して Proﬁler で分析しよう Node.js に詳しいお兄さんたちに聞いてみようもう一つのエラー = 処理系のエラー (Fatal Error)

株式会社ダイニー © 2025 Dinii Inc. JavaScript のエラーを分類資料名を記載独自実装部分は
TypeScript を真面目に活用すればほぼ抑制できる問題はサードパーティー製のライブラリが throw するエラーそもそも throw されることを関知できるデザインになっていない IMO: 真面目に対処することを前提とせず（無理なので）、大域での error handelr を基本とするべき ※ もちろん発生が予期されるもの、頻発するものは真面目に try-catch したら良い 1) ランタイムエラーの対処

株式会社ダイニー © 2025 Dinii Inc. JavaScript のエラーを分類資料名を記載ここが本日の本題
言いたいこととにかく throw するな 2) ビジネスロジックのエラー

株式会社ダイニー © 2025 Dinii Inc. JavaScript のエラーを分類資料名を記載とにかく
throw するな → throw した時点で型情報が失われてしまう型情報が残っていると何が嬉しいか → エラーの対処を強制するコードベースデザインが可能になるダイニーでは DomainException というクラスを利用している → が、とにかく throw しなければ何でも良いと思っている ※ エラーではなく「例外 – Exception」と呼ぶ（ただの決めの話）ビジネスロジックのエラーのベストプラクティス

株式会社ダイニー © 2025 Dinii Inc. DomainException & Result 型
03 資料名を記載

資料名を記載 DomainException という基底クラスを継承した例外種別ごとに別々のクラス（ダイニー独自実装） DomainException とは？

資料名を記載 1) 基底クラスで具象クラスをすべてハンドリングできるからなぜクラスなのか？

資料名を記載 2) 追加情報を付与できるからなぜクラスなのか？

資料名を記載 1) 実際の例外が発生している箇所で new する具体的な使い方

資料名を記載 1) エラーをハンドリングしたい任意の箇所 or リクエストハンドラーでハンドリングする具体的な使い方リクエストハンドラードメインロジックのどこか

資料名を記載 instanceof DomainException を利用した徹底したハンドリング徐々に型が絞り込まれる

資料名を記載人間たまには throw したくなるバグでしかそうならないとき • 何かおかしなことが起こっているのでそこで止めたい = ランタイムエラーと同様に扱う • 基本的には型的にハンドリングしたいがそう上手くいかないときもあるよね逆に throw する場合

資料名を記載 TypeScript には union があるので Result, Either 的な概念が無くても良いが… すべてのエラーをハンドリングするまで型補完が効かないので使用感が悪いが、これも TypeScript 4.x の時代の話なので今は良い感じに補完してくれるのかも… Result 型 – 「正常値」か「エラー」を返すことを表現 union を使う場合

株式会社ダイニー © 2025 Dinii Inc. エラーハンドリング型定義 DomainException &
Result 型資料名を記載 Result 型でプログラミングの見通しを良くする Result 型は多くのプログラミング言語でネイティブサポートされている

株式会社ダイニー © 2025 Dinii Inc. サードパーティーライブラリと比較資料名を記載 NeverThrow かな？
シンプルなため一定のルールは必要そう（例: err をネストしない）。元の実装も1000行程度なので、独自のフレームワーク等と組み込みたいなら独自実装もぜんぜんアリ TypeScript の進化で工夫が要らなくなった。ありがとう TypeScript 💖 2025年からプロジェクトを始めるなら…（IMO）

株式会社ダイニー © 2025 Dinii Inc. まとめ資料名を記載ダイニーでは DomainException
+ Result 型で型安全なバックエンドを構築しています。 2020年当時としては良い判断だったと思いますが、今はサードパーティの良い感じのライブラリを使うこともできます。ともかくコミュニティのデフォルトとして Error を throw というのが辛い。ので、勉強会でエラーハンドリングについて語って JS コミュニティを一ミリでも動かしたい。まとめ

DomainException と Result 型で作る型安全なエラーハンドリング

DomainException と Result 型で作る型安全なエラーハンドリング

More Decks by Hiroaki KARASAWA

Other Decks in Programming

Featured

Transcript