Opaque result types

Evolution Pitches
159

Hello all,

I've been revising the proposal based on the discussions here. The most up-to-date proposal is here, which includes a number of changes since my original version:

  • Improved introduction describing the two main use cases ("I don't want to write the type" and "I don't want to expose the type publicly")
  • Revised and expanded discussion of the differences between opaque result types and (generalized) existentials
  • Slightly improved syntax for conditional conformance
  • Opaque type aliases as a possible future direction
  • Discussion of properties and subscripts

Thanks for all the feedback so far!

Doug

8 Likes