From: David Thomas <david_hd@yahoo.com>
To: caml-list@inria.fr
Subject: Fwd: Re: [Caml-list] Bigarray question
Date: Tue, 29 Nov 2005 01:09:09 -0800 (PST) [thread overview]
Message-ID: <20051129090909.30548.qmail@web30503.mail.mud.yahoo.com> (raw)
Actually, the language being experimental is perhaps a
better reason to stick to the documented
functionality. Something *might* change, and you're a
lot more likely to hear about it if they break
documented functionality than if they happen to change
something that's supposed to be interal that just
happens to break your code.
--- Thomas Fischbacher
<Thomas.Fischbacher@Physik.Uni-Muenchen.DE> wrote:
>
> On Mon, 28 Nov 2005, Dmitry Bely wrote:
>
> > 1. For the current implementation it's safe (use
> > Data_bigarray_val(v) to change the data pointer).
I don't see
> > any reason why it could become unsafe.
> > 2. It is up to you whether to use this feature or
not.
>
> I will neither use undocumented programming
techniques, nor
> recommend doing so to other programmers, no matter
what kind
> of language. That would - quite in general - be a
very bad habit
> that eventually must lead to bugs that are hard to
impossible to
> diagnose and debug.
>
> Assigning to Data_bigarray_val is not explicitly
permitted.
>
> Nevertheless, being allowed to do so would be
helpful. So, a
> simple change to the documentation would suffice to
make me
> happy.
__________________________________
Yahoo! Music Unlimited
Access over 1 million songs. Try it free.
http://music.yahoo.com/unlimited/
reply other threads:[~2005-11-29 9:09 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=20051129090909.30548.qmail@web30503.mail.mud.yahoo.com \
--to=david_hd@yahoo.com \
--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