From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p9JI2M1Y020349
	for <caml-list@sympa-roc.inria.fr>; Wed, 19 Oct 2011 20:02:22 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmMGAJkPn05KfVLCZWdsb2JhbABEqHEIIg0JCwgVBCGBZQUEAQEBBBICExkBGx0BAwwGBQMBBzsiAREBBQEcBjWFJoIwmQAKi1GCYIUyPYhuAgUKiBEEk36NKz2DcQ
X-IronPort-AV: E=Sophos;i="4.69,373,1315173600"; 
   d="scan'208";a="113517196"
Received: from mail-wy0-f194.google.com ([74.125.82.194])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Oct 2011 20:02:17 +0200
Received: by wyg34 with SMTP id 34so430511wyg.9
        for <caml-list@inria.fr>; Wed, 19 Oct 2011 11:02:16 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=ihvQhVFR7dNmoIpaKImpVNW73Hm1llq0XV0GAhxMXS8=;
        b=CVlM/lN1qlGmR86uCsfQmMG2RRovJyNSb6P7WQP5nlneEJdsONtqKaH+Vya/hW0/Vg
         lxFH4awg1pwtKD7cPUVZJehmq0YK1XLePeFSZpt7ND59lOsP30RNqyIJVAN6qJEsfGG1
         F2XmXjqwyQHxGaxm7sG4QqAAbIdsGQgTUitu8=
MIME-Version: 1.0
Received: by 10.216.138.209 with SMTP id a59mr1000332wej.94.1319047336717;
 Wed, 19 Oct 2011 11:02:16 -0700 (PDT)
Received: by 10.216.73.131 with HTTP; Wed, 19 Oct 2011 11:02:16 -0700 (PDT)
In-Reply-To: <CAPFanBHLP9Qrx39dxRYUAY_CQTWTcKisuvnqAUx1ZVdapbVBGw@mail.gmail.com>
References: <CAHqiZ-Lsy-jEb93VSPJzU2utf7GK8cU-RS66QBXeAR2GZcuHGA@mail.gmail.com>
	<CAPFanBHLP9Qrx39dxRYUAY_CQTWTcKisuvnqAUx1ZVdapbVBGw@mail.gmail.com>
Date: Wed, 19 Oct 2011 20:02:16 +0200
Message-ID: <CAHqiZ-KLcQ9pocWw9QQBLDBkr0w-3pxqs3unuKRvSO_VASztSA@mail.gmail.com>
From: Diego Olivier Fernandez Pons <dofp.ocaml@gmail.com>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: caml-list <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=0016e6d58fcdf26e2a04afaaa396
Subject: Re: [Caml-list] Interpreting a language with (sparse) arrays
 explicitly indexed


--0016e6d58fcdf26e2a04afaaa396
Content-Type: text/plain; charset=ISO-8859-1

    Gabriel,


>   | Val_table of (value, value) Hashtbl.t


It took me two days to understand that this actually solved the problem
because it fulfils type erasure and induction on dimension, just like
functions.

Actually, that's the type of a reified curried function value -> value ->
value -> ... -> value

        Diego Olivier

--0016e6d58fcdf26e2a04afaaa396
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div class=3D"gmail_quote"><div>=A0 =A0 Gabriel,</div><div>=A0</div><blockq=
uote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc =
solid;padding-left:1ex;">=A0 | Val_table of (value, value) Hashtbl.t</block=
quote><div>
<br></div><div>It took me two days to understand that this actually solved =
the problem because it fulfils type erasure and induction on dimension, jus=
t like functions.</div><div><br></div><div>Actually, that&#39;s the type of=
 a reified curried function value -&gt; value -&gt; value -&gt; ... -&gt; v=
alue</div>
<div><br></div><div>=A0 =A0 =A0 =A0 Diego Olivier</div><div><br></div></div>

--0016e6d58fcdf26e2a04afaaa396--