Typing unmarshalling without marshalling types - fa.caml

Message from discussion Typing unmarshalling without marshalling types

brogoff

View profile

More options Jun 27 2006, 2:47 pm

Newsgroups: fa.caml

From: brogoff <brog...@speakeasy.net>

Date: Tue, 27 Jun 2006 18:47:18 UTC

Local: Tues, Jun 27 2006 2:47 pm

Subject: Re: [Caml-list] Typing unmarshalling without marshalling types

  Reply to author
  |
  Forward
  | Print
  | View thread
  | Show original
  | Report this message
  | Find messages by this author
  

On Tue, 27 Jun 2006, Aleksey Nogin wrote:
> On 23.06.2006 02:13, Michel Mauny wrote:
> > Dear all,

> > We are pleased to announce a patch for Objective Caml that provides
> > type safe unmarshalling functions.

> I've looked at the examples from your web page and it looks really
> great! What are the chances of this being included in the "mainstream"
> OCaml distribution some time soon?

I agree that this is one of those highly desired features for OCaml that
we've been waiting for for a long time. If it were part of the mainstream
distribution, I'd use it.

I'm curious as to what happened to GCaml now. A while ago it appeared that
GCaml would bring overloading, dynamic types, and type safe marshalling to
Caml. Have the main Caml team concluded that folding GCaml into Caml proper is
not a desireable goal?

-- Brian

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Reply to author Forward