From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jpathy@fssrv.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 4B8987FCCB
	for <caml-list@sympa.inria.fr>; Tue, 28 Apr 2015 06:35:31 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jpathy@fssrv.net) identity=pra; client-ip=209.85.212.179;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jpathy@fssrv.net";
  x-sender="jpathy@fssrv.net"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  jpathy@fssrv.net designates 209.85.212.179 as permitted
  sender) identity=mailfrom; client-ip=209.85.212.179;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jpathy@fssrv.net";
  x-sender="jpathy@fssrv.net"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wi0-f179.google.com) identity=helo;
  client-ip=209.85.212.179;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jpathy@fssrv.net";
  x-sender="postmaster@mail-wi0-f179.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AgAgATDT9Vm7PUVdFchDsFgxXLKgKBLgc7EQEBAQEBAQERAQEBAQEGCwsJIS6EIQEBBBIRHQEBNwEPCwsNAgImAgIhARIBBQEcBhMih3UDEaYsPjGKSXCEYQEFiWMNhTQBAQEBAQUBAQEBARcGCoEXiheCTYI4B4JogUWLYo5dgVSPDIULEiOBFYQ3HjGCRAEBAQ
X-IPAS-Result: A0AgAgATDT9Vm7PUVdFchDsFgxXLKgKBLgc7EQEBAQEBAQERAQEBAQEGCwsJIS6EIQEBBBIRHQEBNwEPCwsNAgImAgIhARIBBQEcBhMih3UDEaYsPjGKSXCEYQEFiWMNhTQBAQEBAQUBAQEBARcGCoEXiheCTYI4B4JogUWLYo5dgVSPDIULEiOBFYQ3HjGCRAEBAQ
X-IronPort-AV: E=Sophos;i="5.11,662,1422918000"; 
   d="scan'208";a="113745087"
Received: from mail-wi0-f179.google.com ([209.85.212.179])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Apr 2015 06:35:30 +0200
Received: by widdi4 with SMTP id di4so14009984wid.0
        for <caml-list@inria.fr>; Mon, 27 Apr 2015 21:35:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=fssrv.net; s=google;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=o2qsiFIqTrARSu0jj6M+a68TSIHYF73J7RQ6A4LMAaA=;
        b=S2XjFSyssbQIeBQb/T/JcfnBdT6fDbJZvBJqKk9xKHN3hi/L8bQm/uNdJHfzZulH+U
         4ZCAZqb8vJvt2bUHPSgP0T4RMQrHeW465DflzcyZpyGlInTVNidLRLhgu5WF9Sf7s8kZ
         RKvRuIhBDTBDzts8UO56AkUYOq2w8ZTpArU1Q=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:cc:content-type;
        bh=o2qsiFIqTrARSu0jj6M+a68TSIHYF73J7RQ6A4LMAaA=;
        b=KnxrpXRagWv6hTVghgs+1muxLUo4YndSfZQDpJH6leUvvlsQIuTgs96VltyOO0WDLM
         xIcNClk3eJN4R+PnN5hhQWzwuJR95KW1ZvuPds7CsSfC/TX8dr3tFQ2cBQAFlRnE0dao
         SSVYTEcFMma7QzX/vO+F1NGS6X/fi+pfmZSf4XktOaGrEbTpryrWi/wg/gHf60gUZ2dE
         LeUGtqrgKquWGw64VUNyXCnlkYJbuBuSqrKf5SffBWECXUhq+S6k6EKiHlO5y2yYnoP6
         sU1xnWUvAS1EZlhFobhDHXwSCwe9h+p7wys87gxolfAy1FNvxBIVAatnXb4jCZ68oZly
         qzug==
X-Gm-Message-State: ALoCoQmFo50BW5QdBHOqpEeFVUZ+AIQFyA5CWxniaVPKpZk/dQggAky9pKA0V6Vy4DKsLRmF63G1
MIME-Version: 1.0
X-Received: by 10.180.101.3 with SMTP id fc3mr6924083wib.47.1430195730032;
 Mon, 27 Apr 2015 21:35:30 -0700 (PDT)
Received: by 10.27.97.66 with HTTP; Mon, 27 Apr 2015 21:35:29 -0700 (PDT)
In-Reply-To: <CAAxsn=FomDwmm=2RO3gGsN9ZirB4XE2POzZ9LxcefqFzDG1kfw@mail.gmail.com>
References: <CAL2Z3DBbmv+4e+r7_9Bhbqx2yNhOXHxumxZWc1rGySb6Sr4tug@mail.gmail.com>
	<CAAxsn=GiUeB17MWJVaLcu-=2E2kzP3R2cmdHR_BiEPb1Q1gu+g@mail.gmail.com>
	<CA+mHimOLF3fCgkwQ9ObwmfHexQzoqi75VzVHFJuueebjC56D2A@mail.gmail.com>
	<CAL2Z3DAga4ZzhCJga+jns3MXZh4g44ALd=JSgOeDQEf678zToQ@mail.gmail.com>
	<CAAxsn=FomDwmm=2RO3gGsN9ZirB4XE2POzZ9LxcefqFzDG1kfw@mail.gmail.com>
Date: Mon, 27 Apr 2015 21:35:29 -0700
Message-ID: <CAL2Z3DA46S3Q9pbWF-L9WVMNijdw0UbSczbfmwjN5ViXVKf+CA@mail.gmail.com>
From: Jiten Pathy <jpathy@fssrv.net>
To: Jeremy Yallop <yallop@gmail.com>
Cc: Stephen Dolan <stephen.dolan@cl.cam.ac.uk>, "caml-list@inria.fr" <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] phantom type

No, it was just a speculation as a new record is created for every
sub-term evaluation.

On Mon, Apr 27, 2015 at 5:30 AM, Jeremy Yallop <yallop@gmail.com> wrote:
> On 27 April 2015 at 13:17, Jiten Pathy <jpathy@fssrv.net> wrote:
>> It seems this encoding using first-class modules has overheads in the
>> interpreter(due to the functor), whereas the gadt implementation would
>> have no overheads.
>
> Have you measured it?