From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA21701 for caml-red; Fri, 3 Nov 2000 10:22:36 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA18294 for <caml-list@pauillac.inria.fr>; Fri, 3 Nov 2000 04:10:21 +0100 (MET)
Received: from tequila.cs.yale.edu (tequila.cs.yale.edu [128.36.229.152])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eA33AKv25837
	for <caml-list@inria.fr>; Fri, 3 Nov 2000 04:10:20 +0100 (MET)
Received: from tequila.cs.yale.edu (localhost [127.0.0.1])
	by tequila.cs.yale.edu (8.9.3/8.9.3) with SMTP id WAA12742
	for <caml-list@inria.fr>; Thu, 2 Nov 2000 22:10:10 -0500
To: caml-list@inria.fr
From: "Stefan Monnier" <monnier+lists.caml/news/@RUM.CS.YALE.EDU>
Newsgroups: lists.caml
Subject: Re: Redefinition doesn't work
References: <39ff158f$1@tequila.cs.yale.edu> <200011021542.QAA07895@pauillac.inria.fr>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.90
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Path: rum.cs.yale.edu
NNTP-Posting-Host: rum.cs.yale.edu
Message-ID: <3a022c8d$1@tequila.cs.yale.edu>
Date: 2 Nov 2000 22:10:05 -0500
X-Trace: 2 Nov 2000 22:10:05 -0500, rum.cs.yale.edu
Sender: weis@pauillac.inria.fr

>>>>> "Pierre" == Pierre Weis <Pierre.Weis@inria.fr> writes:
> Absolutely right. In the same vein we have: the absence of static
> type-checking ``never seems to bother Lisp users'', the absence of GC
> ``never seems to bother C users'', the absence of dynamically
> allocated arrays ``never seems to bother Pascal users'', the absence
> of pattern matching ``never seems to bother Pascal users''...
....
...., the absence of rebinding in the interactive loop ``never seems
to bother OCaml users''....


        Stefan ;-)