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 RAA09800; Fri, 15 Aug 2003 17:54:41 +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 RAA13513 for ; Fri, 15 Aug 2003 17:54:40 +0200 (MET DST) Received: from mail.speakeasy.net (mail11.speakeasy.net [216.254.0.211]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h7FFsdT16926 for ; Fri, 15 Aug 2003 17:54:39 +0200 (MET DST) Received: (qmail 14535 invoked from network); 15 Aug 2003 15:54:38 -0000 Received: from unknown (HELO grace.speakeasy.org) ([216.254.0.2]) (envelope-sender ) by mail11.speakeasy.net (qmail-ldap-1.03) with DES-CBC3-SHA encrypted SMTP for ; 15 Aug 2003 15:54:38 -0000 Date: Fri, 15 Aug 2003 08:54:38 -0700 (PDT) From: brogoff@speakeasy.net To: "caml-list@inria.fr" Subject: Re: [Caml-list] Obj.magic, Obj.t etc. In-Reply-To: <200308151252.32049.qrczak@knm.org.pl> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Loop: caml-list@inria.fr X-Spam: no; 0.00; brogoff:01 caml-list:01 marcin:01 'qrczak':01 kowalczyk:01 bigarrays:01 hashtables:01 generics:01 arrays:01 speakeasy:01 imho:01 int:01 arithmetic:01 polymorphic:01 syntax:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, 15 Aug 2003, Marcin 'Qrczak' Kowalczyk wrote: > IMHO a separate float_array type would be better. I agree. > The main problem is that it would need a different syntax for element access > and separate versions of Array functions. You couldn't use the same code polymorphically for int > and float arrays, but we don't have polymorphic arithmetic anyway... Also, we already have the same problem now with respect to array syntax for strings and bigarrays (and hashtables and ...). > I wonder if it's improved when generics are adopted. I think it will improve a lot of things, if something like generics is in the language. However, there is another issue lurking here, about whether the Array element is boxed or not. In the Clean language the distinction is in the type system. -- 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