Next: Automatic Marshallers for
Up: Small Tasks
Previous: Reference Parameters
Need to be made fully working. Some issues include:
- futures for the builtin types
- anything deriving from Future will always be made a future type.
Is there any problem with this: do we want a way for the user to
explicitly state that particular returns (or indeed output
parameters) are to be synchronous. Maybe just need a notation for
stating that a cal is synchronous.
- any member function with a non-future return type will
automatically become synchronous. Do we want to give a warning to
the programmer that this is the case?
send comments or suggestions to J.Poole@cs.ucl.ac.uk 
Click here for more information on UCL-CS.