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 nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id E5348BB81 for ; Sun, 27 Nov 2005 16:47:13 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jARFlDoX009458 for ; Sun, 27 Nov 2005 16:47:13 +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 QAA24645 for ; Sun, 27 Nov 2005 16:47:13 +0100 (MET) Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.196]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jARFlCmh009454 for ; Sun, 27 Nov 2005 16:47:12 +0100 Received: by zproxy.gmail.com with SMTP id n29so2830601nzf for ; Sun, 27 Nov 2005 07:47:12 -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=NchfqU4EU1G10M5fhfkGSfUdEzb3qShh2E+FWlLkykvDfIo87RBXUAN+Y0k/a6J8KLIFvw+npTl4Yy9v0+aeiu1vngs2Bk1MZ+baJ0xhF77St09bO+isy0gFE332OYb6SSbheCIWCGVBJfypXdZKQCGx6+3Rmd0NrGbNohC7SEU= Received: by 10.65.61.11 with SMTP id o11mr3347150qbk; Sun, 27 Nov 2005 07:47:11 -0800 (PST) Received: by 10.65.35.3 with HTTP; Sun, 27 Nov 2005 07:47:11 -0800 (PST) Message-ID: <4a708d20511270747o5d5e7f80n@mail.gmail.com> Date: Sun, 27 Nov 2005 16:47:11 +0100 From: Lukasz Stafiniak To: "Michael D. Adams" Subject: Re: [Caml-list] Efficency of varient types Cc: caml-list@inria.fr In-Reply-To: <4a708d20511270657j2518f0b6m@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <4a708d20511270657j2518f0b6m@mail.gmail.com> X-Miltered: at nez-perce with ID 4389D501.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4389D500.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; lukasz:01 caml-list:01 lukasz:01 ocaml:01 metaocaml:01 native-code:01 compilation:01 metaocaml:01 26,:98 dynamically:01 types:02 typed:03 scheme:04 michael:08 gmail:09 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 2005/11/27, Lukasz Stafiniak : > 2005/11/26, Michael D. Adams : > > I am working on a program that translates code from scheme into ocaml. > Use MetaOCaml with native-code compilation and untagging. Err, in your case untagging and printed representation. Not much of MetaOCaml functionality, and only works when program is not actually dynamically typed. But MetaOCaml is always worth giving a try :) > Best Regards, > Lukasz >