Swift Zoomin' #18

エラーハンドリング
https://github.com/apple/swift/blob/main/docs/ErrorHandlingRationale.md

Typed propagation
https://github.com/apple/swift/blob/main/docs/ErrorHandlingRationale.md#typed-propagation

Typed throws
https://github.com/apple/swift-evolution/blob/main/proposals/0413-typed-throws.md

いつ使うか？

• パッケージやモジュールに閉じていて、常に網羅的にエラーハンドリングしたいとき
• エラー型を素通りさせるとき
• 組み込み環境など（依存がない、 any Error が使えない）

逆にこれ以外の時は使うべきではないと書かれている

https://github.com/apple/swift-evolution/blob/main/proposals/0413-typed-throws.md#when-to-use-typed-throws

特に一つしかエラー型がない場合にこのエラーを返すと明示するために typed throws を書きたくなってもやらないこと
拡張性の妨げになる
このあたりは Java と異なる今までの Swift の感覚で明示しない慣習を思い出すこと

typed throws で例外の型検査もしてくれる

class ParentError: Error {}
calss ChildError: AnimalError {}

let child: () throws(ChildError) -> Void = {}
let parent: () throws(ParentError) -> Void = child

let child2: () throws(ChildError) -> Void = parent // コンパイルエラー。親を子に入れると throw できない可能性があるため