From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id DE243BB81 for ; Tue, 9 Nov 2004 00:44:11 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iA8NiB1E025658 for ; Tue, 9 Nov 2004 00:44:11 +0100 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 AAA23600 for ; Tue, 9 Nov 2004 00:44:07 +0100 (MET) Received: from mail6.speakeasy.net (mail6.speakeasy.net [216.254.0.206]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iA8Ni4qa010169 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 9 Nov 2004 00:44:06 +0100 Received: (qmail 31573 invoked from network); 8 Nov 2004 23:44:03 -0000 Received: from shell1.speakeasy.net ([69.17.110.70]) (envelope-sender ) by mail6.speakeasy.net (qmail-ldap-1.03) with AES256-SHA encrypted SMTP for ; 8 Nov 2004 23:44:03 -0000 Date: Mon, 8 Nov 2004 15:44:03 -0800 (PST) From: brogoff To: caml-list Subject: Re: [Caml-list] Print values like the toplevel's printer In-Reply-To: <20041106111523.GB24365@draco.skynet> Message-ID: References: <200411051323.13339.wolfgang.mueller2@uni-bayreuth.de> <20041106111523.GB24365@draco.skynet> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at nez-perce with ID 419004CB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 419004C4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 toplevel's:01 wrote:01 o'caml:01 ocaml:01 cvs:01 overloading:01 ocaml:01 variants:01 ...:98 generics:01 generics:01 speakeasy:01 typing:01 caml:02 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: On Sat, 6 Nov 2004, Jim wrote: > What we really need is generics. I thought there was a post in the > mailing list some time ago saying that generics was going to be > appear in O'Caml at some point, but I haven't seen anything for a long > time. Does anyone know if it is still planned? > > Regards, > Jim I thought that development was to continue in the OCaml branch after 3.08. Looking at the CVS, whre nothing has been updated for over seven months, it appears abandoned. If that's the case, I wonder if there is an alternative approach being considered to provide some of the desired features, like safe value IO, dynamic typing, and overloading? I was previously under the impression that safe value IO was a very desired feature, and that once the machinery for that was aded that the rest of GCaml would be folded in quickly. It isn't clear to me how the GCaml extensions would work with all of the other extensions in OCaml (objects and variants and...) and it is already a kind of complicated language. It would be a lot easier if the generics were just being added to Caml Special Light. -- Brian