From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 B3BB57ED11 for ; Thu, 22 Sep 2016 02:50:11 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andre@digirati.com.br; spf=Pass smtp.mailfrom=andre@digirati.com.br; spf=Pass smtp.helo=postmaster@mta123.f1.k8.com.br Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andre@digirati.com.br) identity=pra; client-ip=187.73.32.199; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of andre@digirati.com.br designates 187.73.32.199 as permitted sender) identity=mailfrom; client-ip=187.73.32.199; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mta123.f1.k8.com.br designates 187.73.32.199 as permitted sender) identity=helo; client-ip=187.73.32.199; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="postmaster@mta123.f1.k8.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3ARtu2IhXxC+E5aIuNhMfsuw15fPbV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZhKPt8tkgFKBZ4jH8fUM07OQ6PG6HzRbqs3Q+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJP?= =?us-ascii?q?K/jvHcaK1oLshrr0o8aYOFQArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf?= =?us-ascii?q?9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzh?= =?us-ascii?q?QBGC42pUY2wSlh1QS1zU5RX+WY/ZvS7zt+470y6fa57YV7cxDB2k471mADnhlC?= =?us-ascii?q?cOMXZt+WfbkMFYgKNUoQioux05yInRJouPYqktNpjBdM8XEDISFv1aUDZMV8bl?= =?us-ascii?q?N9MC?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BZAQDSKeNXh8cgSbteHAEXAQwBBQEXA?= =?us-ascii?q?QwBgn4BAQEBAYFxrDSMRIIEhh4CJYFBOhIBAQEBAQEBAQEBARIBAQEKCwkJGS+?= =?us-ascii?q?CMgQBFQEEghEBAQMBIx0BATcBBAsLBAE9AgIgAQoCASkGDAeIMQMPCq4WZ4RJA?= =?us-ascii?q?QEFhEgNgzIBAQEBAQUBAQEBAQEBARcIiDOCWIJHgX2DBCuCL5lFNYxugw5NgQe?= =?us-ascii?q?HZhIjXYUGiFiED4N6AiUFg1SBdViFBYFAAQEB?= X-IPAS-Result: =?us-ascii?q?A0BZAQDSKeNXh8cgSbteHAEXAQwBBQEXAQwBgn4BAQEBAYF?= =?us-ascii?q?xrDSMRIIEhh4CJYFBOhIBAQEBAQEBAQEBARIBAQEKCwkJGS+CMgQBFQEEghEBA?= =?us-ascii?q?QMBIx0BATcBBAsLBAE9AgIgAQoCASkGDAeIMQMPCq4WZ4RJAQEFhEgNgzIBAQE?= =?us-ascii?q?BAQUBAQEBAQEBARcIiDOCWIJHgX2DBCuCL5lFNYxugw5NgQeHZhIjXYUGiFiED?= =?us-ascii?q?4N6AiUFg1SBdViFBYFAAQEB?= X-IronPort-AV: E=Sophos;i="5.30,376,1470693600"; d="scan'208,217";a="194230532" Received: from mta123.f1.k8.com.br ([187.73.32.199]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Sep 2016 02:50:10 +0200 Received: from localhost (localhost [127.0.0.1]) by smtpz.f1.k8.com.br (Postfix) with ESMTP id AA25360054; Thu, 22 Sep 2016 00:50:05 +0000 (UTC) X-Virus-Scanned: amavisd-new at k8.com.br Received: from smtpz.f1.k8.com.br ([127.0.0.1]) by localhost (mta123.f1.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id d8PMe18j6+Py; Thu, 22 Sep 2016 00:50:02 +0000 (UTC) Received: from [192.168.0.103] (unknown [177.157.206.61]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtpz.f1.k8.com.br (Postfix) with ESMTPSA id 9E583600A4; Thu, 22 Sep 2016 00:50:02 +0000 (UTC) X-DKIM: OpenDKIM Filter v2.6.8 smtpz.f1.k8.com.br 9E583600A4 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=digirati.com.br; s=default; t=1474505402; bh=PM0FJFjVoX4U/0cC6mqLY3Z4m3CCcHlfuxOMLRv+tdg=; h=Subject:From:In-Reply-To:Date:Cc:References:To; b=Piie/iHof1VpIWe7+bPWS3HwlDDMx3LNyMWwaLhGKdNitYD94G9yAsYGCNCAteFeJ Iob4wG/xSJBLwZ8PIFj1/IDzfhHFssHbJnWD28uP29JIlFX3LL3xKr3WvdATH5GI2s 4sZWvVO2U2gMGqRPbbmjRUCOYLhbkV/rq8pI1oLs= Content-Type: multipart/alternative; boundary=Apple-Mail-CA066089-EF2E-4B31-831A-A1E48899FC2D Mime-Version: 1.0 (1.0) From: Andre Nathan X-Mailer: iPhone Mail (14A403) In-Reply-To: Date: Wed, 21 Sep 2016 21:50:02 -0300 Cc: caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: <4B4C9521-010D-4FB7-80C0-0F2192D93614@digirati.com.br> References: <86a4a20a-c5de-a3b3-85c0-621f09a56b81@digirati.com.br> To: Jeremy Yallop Subject: Re: [Caml-list] Encoding "links" with the type system --Apple-Mail-CA066089-EF2E-4B31-831A-A1E48899FC2D Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > Em 21 de set de 2016, =C3=A0s 19:22, Jeremy Yallop esc= reveu: > It is! Here's one approach, which is based on two ideas: Wow, there's a lot to digest here :) Most of it is new to me, including the= use of "evidence" types... I'll have to re-read it and try to work it out = after a night of sleep. Thanks, Andre=20 --Apple-Mail-CA066089-EF2E-4B31-831A-A1E48899FC2D Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
Em 21 de set de 2016, = =C3=A0s 19:22, Jeremy Yallop <yallop= @gmail.com> escreveu:
<= blockquote type=3D"cite" style=3D"direction: inherit;">
It is!  Here's one approach, which is based on two ideas:

Wow, there's a lot to digest here :) Most of it is= new to me, including the use of "evidence" types... I'll have to re-read i= t and try to work it out after a night of sleep.

Thanks,
Andre 
= --Apple-Mail-CA066089-EF2E-4B31-831A-A1E48899FC2D--