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 IAA30972 for caml-redistribution; Fri, 13 Mar 1998 08:46:26 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA30227 for ; Thu, 12 Mar 1998 18:29:29 +0100 (MET) Received: from cahors.inria.fr (cahors.inria.fr [128.93.8.84]) by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id SAA29430 for ; Thu, 12 Mar 1998 18:29:27 +0100 (MET) Received: from localhost (furuse@localhost) by cahors.inria.fr (8.6.10/8.6.6) with SMTP id SAA16062 for ; Thu, 12 Mar 1998 18:29:26 +0100 Message-Id: <199803121729.SAA16062@cahors.inria.fr> X-Authentication-Warning: cahors.inria.fr: Host localhost didn't use HELO protocol To: caml-list@inria.fr Subject: Re: Overloading In-reply-to: Your message of Tue, 10 Mar 1998 13:35:29 -0800. Date: Thu, 12 Mar 1998 18:29:26 +0100 From: "Jun P. Furuse" Sender: weis Brian Rogoff wrote: > there was some work at adding a form of ad-hoc polymorphism to Caml. It is > on the Caml page, look for "extensional" polymorphism. I haven't read it > yet. Perhaps some of the Caml implementors can comment on what it > describes. As they described in their paper[1], there is an extended version of Caml-light for "extensional polymorphism". But I don't know it is FTP or HTTP-available. I am now tring to implement ad-hoc polymorphism / overloading on O'Caml. It will be partially based on the system described in the paper, but somewhat improved hopefully. I will be able to release a prototype this summer or at least at the end of this year. But of course I don't know it will be integrated in the official O'Caml release... [1] ftp://ftp.inria.fr/INRIA/Projects/cristal/Francois.Rouaix/generics.dvi.Z ----------------------------------------------------------------------- Jun P. Furuse Jun.Furuse@inria.fr INRIA Institut National de Recherche en Informatique et en Automatique