caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: brogoff@speakeasy.net
To: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: Re: [Caml-list] Obj.magic, Obj.t etc.
Date: Fri, 15 Aug 2003 08:54:38 -0700 (PDT)	[thread overview]
Message-ID: <Pine.LNX.4.44.0308150833520.1392-100000@grace.speakeasy.net> (raw)
In-Reply-To: <200308151252.32049.qrczak@knm.org.pl>

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


  reply	other threads:[~2003-08-15 15:54 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-08-13 18:49 Christopher Dutchyn
2003-08-14  1:55 ` Jacques Garrigue
2003-08-14  8:22   ` Florian Douetteau
2003-08-14  8:34     ` Jacques Garrigue
2003-08-14 10:45       ` Marcin 'Qrczak' Kowalczyk
2003-08-15  0:14         ` Jacques Garrigue
2003-08-15 10:32         ` skaller
2003-08-15 10:52           ` Marcin 'Qrczak' Kowalczyk
2003-08-15 15:54             ` brogoff [this message]
2003-08-15 10:31       ` skaller
2003-08-18 10:04     ` Xavier Leroy
2003-08-19  7:33       ` Jacques Garrigue

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=Pine.LNX.4.44.0308150833520.1392-100000@grace.speakeasy.net \
    --to=brogoff@speakeasy.net \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).