ドメインエラーを扱う

LT;DR

システムには以下の 3 種類のエラーが存在する

e.g. 請求の段階で却下された注文 や 無効な製品コードを含む注文

e.g. ネットワークのタイムアウト や 認証失敗

hr.icon

システムに現れる 3 種類のエラー

実際の現場で、このような自体に対処するための手順がすでに用意されている場合、コードにはこれを反映させるべき

e.g. 請求の段階で却下された注文 や 無効な製品コードを含む注文

処理不可能なシステムエラー や プログラマの見落としによるエラー

e.g. ネットワークのタイムアウト や 認証失敗

それぞれのエラーの実装方法

ドメインエラー

パニック

code:fsharp

type workflowPart1 = ...

type workflowPart2 input =

if input = 0 then

raise (DivideByZeroException())

...

let main() =

try

let result1 = workflowPart1()

let result2 = workflowPart2 result1

printfn "the result is %A" result2

with

| :? OutofMemoryException ->

printfn "exited with OutofMemoryException"

| :? DivideByZeroException ->

printfn "exited with DivideByZeroException"

| ex ->

printfn "exited with %s" ex.Message

インフラストラクチャエラー

e.g. 外部サービスを利用できない場合

ビジネスプロセスをどう変更すべきか

顧客にはどう伝えるべきか

型によるドメインエラーのモデリング

code:fsharp

type PlaceOrderError =

| ValidationError of string

| ProductOutOfStock of ProductCode

| RemoteServiceError of RemoteServiceError

なぜ安全か？

エラー処理はコードの見た目を悪くする

例外の利点は、正常処理のコードがきれいになる点

code:fsharp

let validateOrder unvalidatedOrder =

try

let orderId = ...

let customerInfo = ...

let shippingAddress = ...

with

...

各ステップでエラーを返すと煩雑になる

code:fsharp

let validateOrder unvalidatedOrder =

let orderIdResult = ...

if orderIdResult is Error then

return

let customerInfoResult = ...

if customerInfoResult is Error then

return

try

let shippingAddressResult = ...

if shippingAddressResult is Error then

return

...

with

...