Avatar
omochimetaru 10/18/2019 3:29 AM
Iteratorだとメソッドがシンプルすぎるからアレだけど、前提として、Errorを型にもつジェネリックな型を扱う場合において、それを使うライブラリを書く時にwhere Neverなオーバーロードを避けたくなるよね、という話です
3:30 AM
実例でいうとCombineのStreamとか。あ、でもあれは非同期だからthrowsが絡んでこないな。 (edited)
3:30 AM
https://github.com/omochi/SwiftTypeInferenceHandsOn/blob/5d7ceb3e01a80c9f8ec80ac0c7a254fece0dd347/Sources/SwiftcType/TypeWalker.swift#L88
omochi/SwiftTypeInferenceHandsOn
Swiftc合宿 2019/09/28. Contribute to omochi/SwiftTypeInferenceHandsOn development by creating an account on GitHub.
Thumbnail
3:30 AM
↑最近感じた実例をもう一つあげると、このTypeWalker.findは
3:30 AM
渡してるpreWalkが例外を投げないから、walk自体も例外を投げないんだけど、