From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id E536EBC69 for ; Tue, 11 Sep 2007 02:17:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAFp75UbAXQImn2dsb2JhbACOGwEBAQEHBAYHCBg X-IronPort-AV: E=Sophos;i="4.20,234,1186351200"; d="scan'208";a="571926" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2007 02:17:45 +0200 Received: from sccmmhc92.asp.att.net (sccmmhc92.asp.att.net [204.127.203.212]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8B0Hf1M026481 for ; Tue, 11 Sep 2007 02:17:41 +0200 Received: from [192.168.0.104] (12-208-242-210.client.mchsi.com[12.208.242.210]) by sccmmhc92.asp.att.net (sccmmhc92) with SMTP id <20070911001739m92002ssgse>; Tue, 11 Sep 2007 00:17:39 +0000 Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: 7bit Message-Id: <2BC1FC8A-1087-473B-99AB-E3EB6FBA5E1E@valdosta.edu> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: Caml List From: Jonathan Bryant Subject: Basic Polymorphic Typechecking Date: Mon, 10 Sep 2007 20:16:42 -0400 X-Mailer: Apple Mail (2.752.3) X-Miltered: at discorde with ID 46E5DEA5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cardelli:01 inference:01 haskell:01 wikipedia:01 implements:01 polymorphic:01 typechecking:01 caml-list:01 algorithm:01 caml:02 papers:06 implementing:06 linked:07 anybody:07 rather:08 Caml-list, Does anybody know of/have a link to/copy of an implementation of the type system in the Cardelli paper (http://www.lucacardelli.name/ Papers/BasicTypechecking.pdf) or an equally basic type inference implementation in Caml/ML/Haskell? I'm rather lost trying to follow the Modula-2 code given in the paper as well as the Perl version linked to on Wikipedia because I don't know either language. I've tried looking at Caml-Light as a reference, but it implements several non-trival extensions, so it doesn't serve as a good reference for a first time implementing the algorithm. Thanks, --Jonathan Bryant