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 TAA15224 for caml-redistribution; Tue, 10 Feb 1998 19:08:02 +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 RAA17093 for ; Mon, 9 Feb 1998 17:32:03 +0100 (MET) Received: from macon.informatik.uni-tuebingen.de (macon2.Informatik.Uni-Tuebingen.De [134.2.13.2]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id RAA11435; Mon, 9 Feb 1998 17:32:00 +0100 (MET) Received: from marvin.informatik.uni-tuebingen.de (marvin.Informatik.Uni-Tuebingen.De [134.2.12.11]) by macon.informatik.uni-tuebingen.de (8.8.4/8.8.3/AIX-4.1/WSI-1.0) with SMTP id RAA14474; Mon, 9 Feb 1998 17:31:37 +0100 Received: from localhost by marvin.informatik.uni-tuebingen.de (AIX 4.1/UCB 5.64/4.03) id AA19332; Mon, 9 Feb 1998 17:31:32 +0100 Date: Mon, 9 Feb 1998 17:31:32 +0100 (MET) From: Simon Helsen X-Sender: helsen@marvin Reply-To: Simon Helsen To: Pierre Weis Cc: Pierre CASTERAN , caml-list@inria.fr Subject: Re: Weak types ? In-Reply-To: <199802091600.RAA16195@pauillac.inria.fr> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis > > I suppose the following problem concerns "weak" types, but i don't see > > the reason (I have no assignment at all in this definitions !) > > This is an excerpt from the ``expert'' part of the Caml FAQ > > that explains the problem, its solution in Caml, and why it is considered a > good solution. yes, but it doesn't say much on the history of the problem. The Paulson book does, but doesn't mention Caml. What I wonder is when Caml adopted value polymorphism, what system was used before that and whether the INRIA researchers did seek for (perhaps alternative) solutions themselves. In the Standard ML community, the standard reference to this problem is a paper of Andrew Wright (1995)... Simon ----------------------- Simon Helsen ------------------------ -- Wilhelm-Schickard-Institut fuer Informatik -- -- Arbeitsbereich Programmierung (PU) -- -- Universitaet Tuebingen, Germany -- ------------------------------------------------------------- -- http://www-pu.informatik.uni-tuebingen.de/users/helsen/ --