From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <hendrik@topoi.pooq.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 3F0D17FD92
	for <caml-list@sympa.inria.fr>; Fri, 10 Jun 2016 21:00:01 +0200 (CEST)
IronPort-PHdr: 9a23:LHVLzhK31iobUHwOedmcpTZWNBhigK39O0sv0rFitYgUIvTxwZ3uMQTl6Ol3ixeRBMOAu6MC1LWd6vqxEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35XxiL/5oseCKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6WYgKF/HoRVi0tmRpFGQXfpEX1V53rsyb+8PF22CSAMNfeQrU9WDDk5KBuHkzGkiACYh409m3Ni884pqVcpVr1pxF5z5TVY6mJM+J5f+XFetQDA2FGW5ACBGR6HoqgYt5XXKI6NuFCoty4/gNWoA==
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=pra;
  client-ip=69.165.131.134;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=mailfrom;
  client-ip=69.165.131.134;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@april.topoi.pooq.com) identity=helo;
  client-ip=69.165.131.134;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="postmaster@april.topoi.pooq.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DzDgAQDVtX/4aDpUVehF8Bu1aBeoYXAoFkEgEBAQEBAQEBZCeCMIIWAQEEOjoFEAsYCSUPBRgxLogVvg8BAQEBAQUBAQEBI4p0h2yCLwEEmF+OHgpmbY1Nj2slAi2ECiCKOgEBAQ
X-IPAS-Result: A0DzDgAQDVtX/4aDpUVehF8Bu1aBeoYXAoFkEgEBAQEBAQEBZCeCMIIWAQEEOjoFEAsYCSUPBRgxLogVvg8BAQEBAQUBAQEBI4p0h2yCLwEEmF+OHgpmbY1Nj2slAi2ECiCKOgEBAQ
X-IronPort-AV: E=Sophos;i="5.26,451,1459807200"; 
   d="scan'208";a="221981854"
Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Jun 2016 20:59:59 +0200
Received: by april.topoi.pooq.com (Postfix, from userid 1001)
	id 310501A07F6; Fri, 10 Jun 2016 14:59:58 -0400 (EDT)
Date: Fri, 10 Jun 2016 14:59:58 -0400
From: Hendrik Boom <hendrik@topoi.pooq.com>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: caml-list@inria.fr
Message-ID: <20160610185958.GA28932@topoi.pooq.com>
References: <20160610181222.GA27973@topoi.pooq.com>
 <CAPFanBFa+MJzvt_KYmReuHSzRpD=fT=nEaXB4c7dMwWSL3w7Vg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAPFanBFa+MJzvt_KYmReuHSzRpD=fT=nEaXB4c7dMwWSL3w7Vg@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] reverse coercions

On Fri, Jun 10, 2016 at 02:40:29PM -0400, Gabriel Scherer wrote:
> Maybe it would help to have some examples of the use-cases you have in
> mind (pattern-directed rule invocations?) to find which solutions
> could be suitable.

Yes, that would be nice.  However, I'm still at an early stage  of 
figuring out what I want to do, and am not yet that specific.  I'm 
checking what the built-in tools do so I have somme idea which 
approaches to an ill-defined problem might possibly be feasible.
I haven't even got to the point of writing my algoriths in English, 
which I often do before coding.

-- hendrik