Avatar
omochimetaru 4/28/2023 4:03 AM
うーん。any の導入はそもそも、 P<: P> が同じ見た目なのに意味が違うのがわかりづらい、 それによってユーザーがSwiftを理解するのを困難にしている、という課題から始まった話なので
4:04 AM
Result<Int, Error> ←これこそまさに、 Errorのself coformanceがあるせいで、余計に何が起きてるかわかりづらい一例なので
4:04 AM
Result<Int, any Error> と書かなければならないようにすることで、
4:04 AM
ユーザーが existential型 と protocol制約の2つがあることを理解する助けになって良いのではないだろうか
4:05 AM
むしろResultとセットでよく見かけるErrorにこのルールが適用されないと、 さらなる混乱を生みそう。 (edited)