Re: [Caml-list] RFH: type / consistency problem

[Erkki Seppala <flux-caml@inside.org>]

Something like this?

module Protocol : sig
  type 'a request
  type 'a reply
  type session

  val issue : session -> 'a request -> 'a

  type foo_response = { fr_s : string }
  val foo : string -> foo_response request

  type bar_response = int
  val bar : int -> bar request

  type baz_response = unit
  val baz : unit -> baz request
end = struct
  type 'a reply = string -> 'a
  type 'a request = {
    req_type : int;
    req_data : string;
    req_handle : 'a reply
  }

  type foo_response = { fr_s : string }
  
  let issue session request =
    send (request.req_type, request.req_data);
    request.req_handle (receive ())

  let foo int = 
    let handle_foo_response str =
      { fr_s = str }
    in
      { req_type = 42; req_data = Printf.sprintf "hello %d" int;
        req_handle = handle_foo_response }

  (* etc *)
end

The nice thing about this is that you can support synchronous and
asynchronous communication with essentially the same interface of
constructing messages, you just have a different kind of issue function.

-- 
  _____________________________________________________________________
     / __// /__ ____  __               http://www.modeemi.fi/~flux/\   \
    / /_ / // // /\ \/ /                                            \  /
   /_/  /_/ \___/ /_/\_\@modeemi.fi                                  \/