From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 6039ED15E for ; Sun, 24 Jul 2005 19:34:06 +0200 (CEST) Received: from 26.mail-out.ovh.net (26.mail-out.ovh.net [213.186.42.179]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6OHY5h0013577 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Sun, 24 Jul 2005 19:34:06 +0200 Received: (qmail 31763 invoked by uid 503); 24 Jul 2005 17:34:08 -0000 Received: (QMFILT: 1.0); 24 Jul 2005 17:34:08 -0000 Received: from b6.ovh.net (HELO mail47.ha.ovh.net) (213.186.33.56) by 26.mail-out.ovh.net with DES-CBC3-SHA encrypted SMTP; 24 Jul 2005 17:34:08 -0000 Received: from b0.ovh.net (HELO queue-out) (213.186.33.50) by b0.ovh.net with SMTP; 24 Jul 2005 17:34:06 -0000 Received: from mail47.ha.ovh.net (10.0.50.47) by mail47.ha.ovh.net with SMTP; 24 Jul 2005 17:34:03 -0000 Received: from b0.ovh.net (HELO queue-pre) (213.186.33.50) by b0.ovh.net with SMTP; 24 Jul 2005 17:34:03 -0000 Received: from adsl-69-229-239-54.dsl.scrm01.pacbell.net (HELO trantor.glondu.net) (postmaster%glondu.net@69.229.239.54) by ns0.ovh.net with SMTP; 24 Jul 2005 17:34:03 -0000 From: Stephane Glondu To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] "Just say no!" campaign against Obj Date: Sun, 24 Jul 2005 10:27:37 -0700 User-Agent: KMail/1.7.1 Cc: Alex Baretta References: <42E2393B.5030209@inria.fr> <42E342FE.6060408@barettadeit.com> In-Reply-To: <42E342FE.6060408@barettadeit.com> Organization: Crans MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200507241027.37362.Stephane.Glondu@crans.org> X-Ovh-Remote: 69.229.239.54 (adsl-69-229-239-54.dsl.scrm01.pacbell.net) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Miltered: at concorde with ID 42E3D10E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 baretta:01 recursion:01 ligth:01 recursion:01 variants:01 campaign:98 ...:98 wrote:01 polymorphic:01 polymorphic:01 alex:03 inria:05 ignorance:05 stephane:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 On Sunday 24 July 2005 00:27, Alex Baretta wrote: > Once upon a time I felt a desperate need for polymorphic recursion. At > that time the INRIA gang was selling a new ligth drug whose effects are > similar to polymorphic recursion. They called it "polymorphic records". > Polymorphic records do not give addiction--unlike polymorphic variants, > which are much more dangerous from this point of view--but when they are > used to attain that euphoric state of mind given by polymorphic > recursion, they must be injected in one's code with Obj.magic. Yes, i > picked up the syringe and used it. Yes, I got ill with type-unsafety, > but eventually careful medication made me recover. At the end, I must > say experiencing polymorphic recursion was well worth the pain that came > from using Obj.magic. Forgive my ignorance... I never heard of "polymorphic recursion" before. Is it exactly polymorphic records (in which case I don't understand where the name "polymorphic recursion" is from), or something else? Thank you, Stephane Glondu.