From: "Stefan Monnier" <monnier+lists.caml/news/@RUM.cs.yale.edu>
To: caml-list@inria.fr
Subject: Re: Redefinition doesn't work
Date: 3 Nov 2000 12:30:42 -0500 [thread overview]
Message-ID: <3a02f642$1@tequila.cs.yale.edu> (raw)
In-Reply-To: <200011030921.KAA21301@pauillac.inria.fr>
>>>>> "Pierre" == Pierre Weis <Pierre.Weis@inria.fr> writes:
> I remember my surprise when I was porting to Scheme some fancy
[...example of bad things happening with redefinition...]
Don't get me wrong. The "always redefine" approach is just as wrong
as the "never redefine" used by Caml. It's just that sometimes you want
one and sometimes you want the other.
I remember a proposition for Scheme (maybe from Matthias Blume) to use
`set!' for redefinition and `define' to create a whole new binding.
I'm not sure if Scheme ended up providing such a facility, but it
does sound right to me.
Stefan
next prev parent reply other threads:[~2000-11-03 18:11 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-11-02 22:45 Ruchira Datta
2000-11-03 9:13 ` Pierre Weis
2000-11-03 10:09 ` Michael Sperber [Mr. Preprocessor]
2000-11-03 16:56 ` Pierre Weis
2000-11-03 17:36 ` Michel Mauny
2000-11-05 11:15 ` Michael Sperber [Mr. Preprocessor]
2000-11-06 21:30 ` Bruce Hoult
2000-11-03 16:58 ` Pierpaolo BERNARDI
2000-11-06 9:29 ` Stephan Houben
2000-11-03 17:30 ` Stefan Monnier [this message]
2000-11-05 11:16 ` Michael Sperber [Mr. Preprocessor]
-- strict thread matches above, loose matches on Subject: below --
2000-10-31 19:11 Ruchira Datta
2000-11-02 18:05 ` Trevor Jim
[not found] <200010300739.IAA13016@pauillac.inria.fr>
2000-10-30 23:38 ` Jaeyoun Chung
2000-10-31 11:06 ` Pierre Weis
2000-10-31 11:52 ` Sven LUTHER
2000-10-31 16:47 ` Pierre Weis
2000-10-31 18:55 ` Stefan Monnier
2000-11-02 15:42 ` Pierre Weis
2000-11-03 3:10 ` Stefan Monnier
2000-10-31 14:16 ` Frank Atanassow
2000-10-31 17:07 ` Pierre Weis
2000-10-28 7:32 Mattias Waldau
2000-10-28 16:37 ` Pierre Weis
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='3a02f642$1@tequila.cs.yale.edu' \
--to=monnier+lists.caml/news/@rum.cs.yale.edu \
--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).