[Swift] some: opaque result type

[vinhnx]

‪to me i just think of this way:

• returning some FooProtocol is like we will tell the compiler that we will return “some sort of” generic type that has FooProtocol trait (some sort => opaque)
• when we do this, compiler will infer the first returning type

another way to describe some in my understanding is:

"inferred generic return type"

my finding: https://mobile.twitter.com/vinhnx/status/1136585951524687872

==

some... is an opaque result type as introduced by SE-0244 and is available in Swift 5.1 with Xcode 11.
You can think of it as a
"reverse" generic placeholder
which is
satisfied by the implementation
rather than the caller.

func doSomething() -> some SomeProtocol {}

// is equivalent to:
func doSomething<T: SomeProtocol>() -> T {}

reference: https://stackoverflow.com/questions/56433665/what-is-the-some-keyword-in-swiftui

==

So, opaque result types allow us to do several things:

• Our functions decide what type of data gets returned, not the caller of those functions.
• We don’t need to worry about Self or associated type requirements, because the compiler knows exactly what type is inside.
• We get to change our minds in the future whenever we need to.
• We don’t expose private internal types to the outside world.

https://www.whatsnewinswift.com/?from=5.0&to=5.1

==

note :

think of some Protocol
as "some sort" of Protocol
SE-0244: https://github.com/apple/swift-evolution/blob/master/proposals/0244-opaque-result-types.md

==

https://blog.vihan.org/opaque-types-in-swift/

[vinhnx]

#270