From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA19435; Wed, 30 Apr 2003 04:29:44 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA18960 for ; Wed, 30 Apr 2003 04:29:42 +0200 (MET DST) Received: from grace.speakeasy.org (grace.speakeasy.org [216.254.0.2]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id h3U2TfT21216 for ; Wed, 30 Apr 2003 04:29:41 +0200 (MET DST) Received: (qmail 22341 invoked by uid 36130); 30 Apr 2003 02:29:39 -0000 Received: from localhost (sendmail-bs@127.0.0.1) by localhost with SMTP; 30 Apr 2003 02:29:39 -0000 Date: Tue, 29 Apr 2003 19:29:39 -0700 (PDT) From: brogoff@speakeasy.net To: "caml-list@inria.fr" Subject: Re: [Caml-list] GCaml In-Reply-To: <20030429031933.GA1436@dt7463.spb.edu> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam: no; 0.00; brogoff:01 caml-list:01 gcaml:01 dimitri:01 timofeev:01 g'caml:01 generics:01 ocaml:01 caml:01 speakeasy:01 overloading:01 patch:02 module:03 wrote:03 prototype:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, 29 Apr 2003, Dimitri Timofeev wrote: > Hello All! > > What is the current state of G'Caml? The prototype top-level is almost two years old. It's only for playing in the top level, you can't use the module system. Still, it's pretty cool. Having all of those features in a future Caml will be a major leap for ML. It doesn't just satisfy the simple desire for overloading + and print and all that, but allows you to write some pretty wild functions in a type safe manner! > Will generics ever be included into OCaml, I suspect so, since safe value IO is a very high priority, and my understanding is that once that is in that generics is not a huge addition. The big question is: when? I guess we'll know when it happens. This is one of my most desired language enhancements too. > or is there any patch for OCaml 3.0x which support it? Not that I know of. -- Brian ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners