cocoaphonyさんが「mapで使えないよね？」って聞いてて

1:56 AM

Joe Groffが回答してるんだけど英語がよくわからん。「Granted, this initial revision of opaque result types doesn't either, but it could get there in time.」

1:56 AM

この辺の会話。

1:56 AM

今駄目だけど後々やると思う　って感じかな

1:58 AM

標準ライブラリの問題に適用できなさそう

全滅ではなくて、使えるところもあるでも互換性とかどうなるんだ

1:59 AM

func foo() -> some Collection where _.Element == Int { ... }

2:00 AM

この書き方だと、someについてるwhereとfuncについてるwhereのぶら下がりが曖昧だから

2:00 AM

https://forums.swift.org/t/protocol-assoctype-t-shorthand-for-combined-protocol-and-associated-type-constraints-without-naming-the-constrained-type/21217

Protocol<.AssocType == T> shorthand for combined protocol and asso...

Swift's notation for generic constraints generally requires naming the things being constrained; you say that a particular generic parameter conforms to a protocol by naming the generic parameter and the protocol it conforms to, like , and you put further constraints on its a...

2:01 AM

T: Protocol<.Type == Int> こっちの記法の話と並行して進めたいのかな