Andy Matuschak on Twitter: "@bzamayo @optshiftk @kongtomorrow @brentsimmons Ack. I see why it does’t work. Hm hm, one sec…" / 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

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

1

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

2

It couldn’t without the <T, U> formulation from my comment. Didn’t see that he needed that. Updated.

1

This doesn't work — but I'm not sure why it doesn't work.

2

Replying to

Ack. I see why it does’t work. Hm hm, one sec…

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

Conversation