From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id C19107FFE1
	for <caml-list@sympa.inria.fr>; Wed,  5 Oct 2016 22:15:38 +0200 (CEST)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AIVFKpxDZ6hJzBKhI7b7UUyQJP3N1i/DPJgcQr6Af?=
 =?us-ascii?q?oPdwSP75psbcNUDSrc9gkEXOFd2CrakV0ayN6+u5BTZIoc7Y9itdINoUD15NoP?=
 =?us-ascii?q?5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?=
 =?us-ascii?q?fbytScb6xv663OGq+pDVfx4AxH/kOeszf12KqlD4sMUMjMNEI7oxwx2B9nJOd/?=
 =?us-ascii?q?5b7W9pKlOJlgr9oMy3+dhp6XIDlegm8ptsWKP7cqAPZyheHjAnezQ57cvquB2F?=
 =?us-ascii?q?RxaC4GkYU00biABBHwnc8Ry8VZen4XiyjfZ0xCTPZZ6+drszQzn3qv4zEBI=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CQAQCwXvVXhkpWN0pdHAYMgz8BAQEBA?=
 =?us-ascii?q?XV9pDCUKYIJJoVxCQKCLxIBAQEBAQEBAQEBARIBAQEICwsJGS9BEoFfBAEVAQS?=
 =?us-ascii?q?CEQEBBCNWEAsYAgImAgJHEAYbiEYECq8mjG8BAQEHAiaBB4oKgmOEaCuCLwEEm?=
 =?us-ascii?q?XqGJ4soAWOHHg6GC4xzg34lAYN1gV+ELYM4gUEBAQE?=
X-IPAS-Result: =?us-ascii?q?A0CQAQCwXvVXhkpWN0pdHAYMgz8BAQEBAXV9pDCUKYIJJoV?=
 =?us-ascii?q?xCQKCLxIBAQEBAQEBAQEBARIBAQEICwsJGS9BEoFfBAEVAQSCEQEBBCNWEAsYA?=
 =?us-ascii?q?gImAgJHEAYbiEYECq8mjG8BAQEHAiaBB4oKgmOEaCuCLwEEmXqGJ4soAWOHHg6?=
 =?us-ascii?q?GC4xzg34lAYN1gV+ELYM4gUEBAQE?=
X-IronPort-AV: E=Sophos;i="5.31,302,1473112800"; 
   d="scan'208";a="239563558"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Oct 2016 22:15:37 +0200
Received: from [192.168.5.177] (227-116.dsl.iskon.hr [89.164.227.116])
	by smtp.webfaction.com (Postfix) with ESMTP id 2726220E704C;
	Wed,  5 Oct 2016 20:15:34 +0000 (UTC)
Date: Wed, 5 Oct 2016 22:15:32 +0200
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Andre Nathan <andre@digirati.com.br>
Cc: caml-list@inria.fr
Message-ID: <ADEBB320F4C54811891E040FB32F1E25@erratique.ch>
In-Reply-To: <8a4909ff-67dc-58c0-0974-1d35c8fce091@digirati.com.br>
References: <86a4a20a-c5de-a3b3-85c0-621f09a56b81@digirati.com.br>
 <CAAxsn=HVX3CY1vq29hLLhHBMPPCmDOwvkjnTH2aUP2ezxhH5ug@mail.gmail.com>
 <4B4C9521-010D-4FB7-80C0-0F2192D93614@digirati.com.br>
 <CAPFanBFNyaCx-1Fa54BZ2bGvo=9SPttbqQiEwkhbcS7AA2sqhw@mail.gmail.com>
 <8a4909ff-67dc-58c0-0974-1d35c8fce091@digirati.com.br>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Subject: Re: [Caml-list] Encoding "links" with the type system

On Wednesday 5 October 2016 at 21:46, Andre Nathan wrote:
> I'm using this idea to experiment with a type-safe SQL query builder,
> which so far looks like this:

You may be interested in looking at this 

http://okmij.org/ftp/meta-programming/#QUEL

Best,

Daniel