Andy Matuschak on Twitter: "@optshiftk @kongtomorrow @brentsimmons Oh, the associated type solution wouldn’t permit that, no." / Twitter

This Tweet is unavailable. Learn more

Ken Ferry

@kongtomorrow

Jun 21, 2015

@brentsimmons

I think you're after "associated types". developer.apple.com/library/ios/do Gist: gist.github.com/kongtomorrow/7

1

That requires making a 1-to-1 relationship between each `Smashable`-adopter and each `Value`-adopter

3

Which can make for better diags + perf, but not necessary: gist.github.com/andymatuschak/

1

Does that permit Brent’s use case, where it accepts one Value but returns a different one?

2

Replying to

Oh, the associated type solution wouldn’t permit that, no.

6:19 PM · Jun 21, 2015Tweetbot for Mac

Replying to

I’m looking at your original one. How can valueBySmashing… take a Foo and return a Bar?

2

I'm backing out because I'm realizing I don't understand what Brent wants. :-)

Conversation