Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: maranget@yquem.inria.fr (Luc Maranget)
To: Alexandre Pilkiewicz <alexandre.pilkiewicz@polytechnique.org>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Smoke Vector Graphics: source code licenses for sale
Date: Thu, 8 Nov 2007 20:09:03 +0100	[thread overview]
Message-ID: <20071108190903.GB19567@yquem.inria.fr> (raw)
In-Reply-To: <200711081928.11501.alexandre.pilkiewicz@polytechnique.org>

> And so many things are just unspecified. I know it's a bad idea, whatever 
> language you use, to rely on the order of evaluation of the argument of a 
> function, but to say "this order may change one day" is to tell 
> industrialists : "if you have some "not so good" programmers, even if you 
> make all the test you want on your program to check it works, one day it may 
> just stop working because we changed the order or evaluation, or worst, a lot 
> of silent bugs can appear". 

I cannot resist to remind you that the order of argument evaluation is
unspecified in C.

Arguably a bad design, but not sufficient to frighten industry.


-- Luc


  reply	other threads:[~2007-11-08 19:09 UTC|newest]

Thread overview: 33+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-11-04 12:01 Jon Harrop
2007-11-04 15:06 ` [Caml-list] " Oliver Bandel
2007-11-04 16:12   ` skaller
2007-11-04 16:48     ` Oliver Bandel
2007-11-04 17:45       ` skaller
2007-11-04 21:29         ` Oliver Bandel
2007-11-04 17:47       ` David Allsopp
2007-11-04 21:25         ` Oliver Bandel
2007-11-04 16:58     ` Industry looks for commercial OCaml support? Oliver Bandel
2007-11-04 17:52       ` [Caml-list] " skaller
2007-11-04 21:39         ` Oliver Bandel
2007-11-05  3:32           ` skaller
2007-11-05  3:58             ` OT: Commercial Support and Programming Languages Robert Fischer
2007-11-05  5:04               ` [Caml-list] " Jon Harrop
2007-11-07 15:55                 ` Alan Falloon
2007-11-07 16:07                   ` [Caml-list] " Jon Harrop
2007-11-07 16:35                     ` Edgar Friendly
2007-11-07 16:41                       ` Jon Harrop
2007-11-07 17:16                         ` Edgar Friendly
2007-11-07 18:46                         ` Christophe TROESTLER
2007-11-07 19:28                     ` Richard Jones
2007-11-05  7:22               ` [Caml-list] " skaller
2007-11-05  5:05             ` [Caml-list] Industry looks for commercial OCaml support? Jon Harrop
2007-11-04 18:29     ` [Caml-list] Smoke Vector Graphics: source code licenses for sale Vincent Hanquez
2007-11-08 18:28     ` Alexandre Pilkiewicz
2007-11-08 19:09       ` Luc Maranget [this message]
2007-11-08 20:24         ` Alexandre Pilkiewicz
2007-11-08 20:53           ` Edgar Friendly
2007-11-08 23:04             ` Oliver Bandel
2007-11-08 19:14       ` Brian Hurt
2007-11-08 23:08       ` Richard Jones
2007-11-09 12:16         ` Gerd Stolpmann
2007-11-09 12:31           ` Richard Jones

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=20071108190903.GB19567@yquem.inria.fr \
    --to=maranget@yquem.inria.fr \
    --cc=alexandre.pilkiewicz@polytechnique.org \
    --cc=caml-list@yquem.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