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 UAA30268; Tue, 3 Apr 2001 20:14:22 +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 UAA30230 for ; Tue, 3 Apr 2001 20:14:21 +0200 (MET DST) Received: from shell5.ba.best.com (shell5.ba.best.com [206.184.139.136]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f33IEKP14228 for ; Tue, 3 Apr 2001 20:14:20 +0200 (MET DST) Received: from localhost (bpr@localhost) by shell5.ba.best.com (8.9.3/8.9.2/best.sh) with ESMTP id LAA17881; Tue, 3 Apr 2001 11:13:56 -0700 (PDT) Date: Tue, 3 Apr 2001 11:13:56 -0700 (PDT) From: Brian Rogoff To: Chris Hecker cc: caml-list@inria.fr Subject: [Caml-list] Generics? In-Reply-To: <4.3.2.7.2.20010402232928.00d3b180@shell16.ba.best.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, 2 Apr 2001, Chris Hecker wrote: > I find OCaml pretty wordy as it is (no overloading being a big problem > here, since the types all float into the names, as someone said), and > making it moreso seems to me to be a mistake. I also feel (like > Patrick) that there are more important things (overloading, module > recursion, generics) that need fixing than labeling right now. I'm confused by your use of the term "generics", which I've seen in another of your posts as well. Care to explain to the uninitiated? FYI, "generic polymorphism" is being used as a term to describe the kind of overloading formerly called "extensional polymorphism", and that was probably influenced by CLOS/Dylan style generic functions with multiple dispatch. So generics are already overloaded enough, maybe you need to disambiguate :-). I don't find Ocaml wordy at all, but then I've used (and liked) Ada so it's probably just whatever you're used to... -- Brian ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr