Munksgaard / session-types

MIT License
549 stars 21 forks source link

Many clients revisited #12

Closed Munksgaard closed 9 years ago

Munksgaard commented 9 years ago

Uses the fancy <Server as HasDual>::Dual trick! Love it!

Munksgaard commented 9 years ago

r? @laumann

laumann commented 9 years ago

Magic, indeed! :godmode:

laumann commented 9 years ago

Is this enough argument to remove accept/request? And if so, should we do it?

laumann commented 9 years ago

r+ by the way

Munksgaard commented 9 years ago

For reference, we are talking about 570871f specifically.

I'm still not quite sure. I am now convinced that we don't need accept/request any more. However, they might be nice utility functions to have? Using accept does decrease the line count slightly, but I guess users who find themselves using it a lot could just roll their own? It makes no difference at all for the server, it seems.