From: Don Syme <dsyme@microsoft.com>
To: "'Jacques GARRIGUE'" <garrigue@kurims.kyoto-u.ac.jp>, fessant@pa.dec.com
Cc: caml-list@inria.fr
Subject: RE: Objects contrib: new URL ...
Date: Mon, 21 Jun 1999 04:41:01 -0700 [thread overview]
Message-ID: <39ADCF833E74D111A2D700805F1951EF0F00BC41@RED-MSG-06> (raw)
> So I weaken my statement: casts are not an absolute evil which should
> not be allowed at all, but at least they should be hard to use, enough
> to encourage people to choose other methods when possible.
I'm not in favour of the extensive use of casts, but this
sounds like the kind of reasoning that was behind SML's syntax for
references and imperative programming, which makes the imperative features
of SML very hard to use. The problem is that when you really do need to use
casts in an
application, e.g. in window programming, then you'll probably need to use
them a fair bit,
so an awkward syntax could be quite problematic.
Don
next reply other threads:[~1999-06-21 17:41 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-06-21 11:41 Don Syme [this message]
-- strict thread matches above, loose matches on Subject: below --
1999-06-15 21:45 Objects contrib Fabrice Le Fessant
1999-06-16 15:56 ` Objects contrib: new URL Fabrice Le Fessant
1999-06-17 2:26 ` Jacques GARRIGUE
1999-06-17 17:16 ` Fabrice Le Fessant
1999-06-17 18:44 ` Stefan Monnier
1999-06-18 1:19 ` 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=39ADCF833E74D111A2D700805F1951EF0F00BC41@RED-MSG-06 \
--to=dsyme@microsoft.com \
--cc=caml-list@inria.fr \
--cc=fessant@pa.dec.com \
--cc=garrigue@kurims.kyoto-u.ac.jp \
/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