Optionalへの暗黙変換よりExistentialへの暗黙変換のほうが優先

型システム上の辛みがありそう・・・。

2:31 AM

Any はあらゆる型のスーパータイプなので自然なアップキャストだけど、 Optional は暗黙の型変換だから、どちらが優先されるべきか議論の余地がありそう。しかも、 Swift の Optional はスーパータイプ的に振る舞うから・・・。

2:32 AM

↓ができるとことか。 let a: () -> Int = { 42 } let b: () -> Int? = a // OK (edited)