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 C1875BBBB for ; Fri, 2 Dec 2005 16:07:28 +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 jB2F7RhE019088 for ; Fri, 2 Dec 2005 16:07:28 +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 QAA27711 for ; Fri, 2 Dec 2005 16:07:27 +0100 (MET) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.201]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jB2F7Qk7004508 for ; Fri, 2 Dec 2005 16:07:27 +0100 Received: by wproxy.gmail.com with SMTP id 58so648956wri for ; Fri, 02 Dec 2005 07:07:26 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=GCPgPRhVjDIgjeTceNkssJ933S7ZtPS/NX01xx1ICBd8jhP42Lz7NRZh0/1ib8H5mmBnT8s+M2L0+Kecw3LbPXHQ9XCCtXqAjXZyZqu4j7hTiZoUHsiMZ1G6WFLDKWJECSuFhyI8LqMbJiMj0AbeT6Y2Db3l5Xq11cBIhPwXNUA= Received: by 10.64.204.17 with SMTP id b17mr1501660qbg; Fri, 02 Dec 2005 07:07:26 -0800 (PST) Received: by 10.65.192.4 with HTTP; Fri, 2 Dec 2005 07:07:26 -0800 (PST) Message-ID: Date: Fri, 2 Dec 2005 10:07:26 -0500 From: "Michael D. Adams" To: Stefan Monnier Subject: Re: [Caml-list] Re: Efficency of varient types Cc: caml-list@inria.fr In-Reply-To: <87psogoik3.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <87psogoik3.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org> X-Miltered: at concorde with ID 4390632F.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4390632E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 umontreal:01 ocaml:01 ocaml:01 unification:01 inference:01 wrote:01 typing:01 typing:01 substitution:02 variant:02 python:02 types:02 typed:03 scheme:04 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 On 12/1/05, Stefan Monnier wrote: > > I am working on a program that translates code from scheme into ocaml. > > (Later I will try python into ocaml.) Because it is a dynamicly > > typed language, the most natural translation would make everything a > > function of a large variant type like: > > Google for "soft typing". You can start without soft typing and add it > later on to get better performance. Thanks, it looks very interesting. I haven't into it yet, and I will be interested to see whether it matches my ideas about how it could be done (i.e. use subsumption to find the least general generalization instead of unification to find the least specific substitution like you would with normal ("hard"?) type inference). Michael D. Adams mdmkolbe@gmail.com