Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Typing unmarshalling without marshalling types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-06-27 (18:45)
From: brogoff <brogoff@s...>
Subject: Re: [Caml-list] Typing unmarshalling without marshalling types
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