From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 53A42BB84 for ; Tue, 27 Jun 2006 20:45:03 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k5RIj3gF030115 for ; Tue, 27 Jun 2006 20:45:03 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA02059 for ; Tue, 27 Jun 2006 20:45:02 +0200 (MET DST) Received: from mail3.sea5.speakeasy.net (mail3.sea5.speakeasy.net [69.17.117.5]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k5RIj0a0030068 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Tue, 27 Jun 2006 20:45:02 +0200 Received: (qmail 30740 invoked from network); 27 Jun 2006 18:44:57 -0000 Received: from shell3.sea5.speakeasy.net ([69.17.116.4]) (envelope-sender ) by mail3.sea5.speakeasy.net (qmail-ldap-1.03) with AES256-SHA encrypted SMTP for ; 27 Jun 2006 18:44:57 -0000 Date: Tue, 27 Jun 2006 11:44:56 -0700 (PDT) From: brogoff To: caml-list@inria.fr Subject: Re: [Caml-list] Typing unmarshalling without marshalling types In-Reply-To: <44A174DE.1090206@cs.caltech.edu> Message-ID: References: <449BB0C6.5040204@ensta.fr> <44A174DE.1090206@cs.caltech.edu> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde with ID 44A17CAF.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 44A17CAC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; marshalling:01 mauny:01 ocaml:01 ocaml:01 gcaml:01 gcaml:01 overloading:01 marshalling:01 wrote:01 wrote:01 caml-list:01 typing:01 michel:01 functions:01 speakeasy:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 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