From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 4102ABB9C for ; Wed, 23 Nov 2005 03:09:53 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAN29qQR025662 for ; Wed, 23 Nov 2005 03:09:52 +0100 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 DAA27144 for ; Wed, 23 Nov 2005 03:09:51 +0100 (MET) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.mcmaster.ca [130.113.64.46]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jAN29oR7025205 for ; Wed, 23 Nov 2005 03:09:51 +0100 Received: from [69.198.111.105] (account carette@univmail.cis.mcmaster.ca HELO [192.168.1.102]) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 4.1.8) with ESMTP-TLS id 110281461; Tue, 22 Nov 2005 21:09:50 -0500 Message-ID: <4383CF6D.9000907@mcmaster.ca> Date: Tue, 22 Nov 2005 21:09:49 -0500 From: Jacques Carette Organization: McMaster University User-Agent: Mozilla Thunderbird 1.0.6 (Windows/20050716) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Cc: oleg@pobox.com Subject: polymorphic fixpoints operator in Ocaml Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4383CF70.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4383CF6E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; fixpoints:01 ocaml:01 lri:01 signoles:01 oleg:01 fixpoint:01 ocaml:01 oleg:01 fixpoints:01 lri:01 signoles:01 lambda:01 lambda:01 polymorphic:01 polymorphic:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=HTML_60_70,HTML_MESSAGE, MIME_HTML_ONLY autolearn=disabled version=3.0.3 Inspired by Julien Signoles' code for Omega, (http://www.lri.fr/~signoles/prog/misc/lambda.ml.html) Oleg K explores different ways to create a *fully polymorphic* fixpoint operator in Ocaml. See

http://pobox.com/~oleg/ftp/packages/fixpoints.ml

for details.

Jacques C.