Type Enforcement in Dispatcher and Worker

[HeinrichHartmann]

Enforce consistency between:

• Dispatcher#registerServiceAdapter(Request.class, Reply.class, new ZmqAdapter())
• execute(RequestType, Callback)
• ReplyType handleRequest.handler(RequestType)

Ideally by CompileTime checks. Alternatively on Runtime.

[HeinrichHartmann]

Intermediate steps:

1. Dispatcher.register Knows only request type.
2. Dispatcher.execute Enforces request type.
3. ZmqAdapter Parametrized by request and reply type.
4. ZmqProxy No type checking
5. ZmqWorker Parametrized by request and reply types. Checks request type. Reply automatic.
6. RequestHandler Parametrized by request and reply types. Types enforced by signature.

[HeinrichHartmann]

Does it make sense not to enforce the ReplyType at all?

We need a typecast for the ReplyType in the Synchronus case:
(ReplyType) dp.executeSync()

In the AsyncCase we could handle it at the latest possible state: gatherResults().