From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 5B81F7F0F9 for ; Mon, 23 Nov 2015 19:20:38 +0100 (CET) IronPort-PHdr: 9a23:aOORMR0s9TGz3R1msmDT+DRfVm0co7zxezQtwd8ZsegRKPad9pjvdHbS+e9qxAeQG96LtrQb06GP6/CocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLoj6vro82bSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzqSxeI4DM2W24WkxwAVwHD8Bb8VJ76sir8nvt02C6de8bxSOZndy6l6vJHUgLwwHMLLSMh4WbYycd5iaZzshWhoFp0xIuCM9LdD+Z3Yq6IJYBSfmFGRMsEEnUZWo4= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=drupyog+caml@zoho.com; spf=Pass smtp.mailfrom=drupyog+caml@zoho.com; spf=None smtp.helo=postmaster@sender153-mail.zoho.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of drupyog+caml@zoho.com) identity=pra; client-ip=74.201.84.153; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of drupyog+caml@zoho.com designates 74.201.84.153 as permitted sender) identity=mailfrom; client-ip=74.201.84.153; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; 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@sender153-mail.zoho.com) identity=helo; client-ip=74.201.84.153; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="postmaster@sender153-mail.zoho.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B9AACLV1NWm5lUyUpehH3BEYYPAoFHPBABAQEBAQEBARABAQEBAQgJCwkhLoItgggBAQMBIw8BBQsBNAECAwsLGgIFFgsCAgkDAgECAUUGDQgBAYgUAQMBBAUIBK4YcYRpAoVeIiglhFUBAQEHAQEBARgHgQGKUYd1gUSWVYFci1WDG4YCky44glIdgUFxhSsBAQE X-IPAS-Result: A0B9AACLV1NWm5lUyUpehH3BEYYPAoFHPBABAQEBAQEBARABAQEBAQgJCwkhLoItgggBAQMBIw8BBQsBNAECAwsLGgIFFgsCAgkDAgECAUUGDQgBAYgUAQMBBAUIBK4YcYRpAoVeIiglhFUBAQEHAQEBARgHgQGKUYd1gUSWVYFci1WDG4YCky44glIdgUFxhSsBAQE X-IronPort-AV: E=Sophos;i="5.20,338,1444687200"; d="scan'208";a="154855968" Received: from sender153-mail.zoho.com ([74.201.84.153]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 23 Nov 2015 19:20:37 +0100 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=zapps768; d=zoho.com; h=subject:to:references:cc:from:message-id:date:user-agent:mime-version:in-reply-to:content-type; b=fz1Y7F3t4pG+CIB824pDWqD9U9UrubmHAOriUicGzbUOk9cWy50w3tmyMdxzSM84+QgyktJ5eeQU VAnuaqCe+HhM6Y6IUjN8G/pMliHNLRRNPr/gK4yX+AuTe3XyVXj3 Received: from [192.168.1.8] (did75-8-82-228-42-129.fbx.proxad.net [82.228.42.129]) by mx.zohomail.com with SMTPS id 1448302820435175.63236986288064; Mon, 23 Nov 2015 10:20:20 -0800 (PST) To: Anton Bachin References: <4824377F-4045-4D47-9BAB-E06B0C939988@yahoo.com> <564AF405.10400@cea.fr> <1A569326-8749-4332-A88C-719165728F20@yahoo.com> <5652EDFC.5070105@cea.fr> <98E819C0-76A2-4038-A5E6-DFBDC08DF7FA@yahoo.com> <565349F9.6020405@zoho.com> <5D7BF541-7E63-4A21-842A-8C34F36B550B@yahoo.com> Cc: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= , caml-list@inria.fr From: Drup Message-ID: <565358DE.6050508@zoho.com> Date: Mon, 23 Nov 2015 19:20:14 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 In-Reply-To: <5D7BF541-7E63-4A21-842A-8C34F36B550B@yahoo.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [ANN] Lambda Soup - HTML scraping and rewriting with CSS selectors > Does tyxml have checked coercions? I was thinking of something like > filtering a traversal by a checked coercion. This is how Lambda Soup > currently does it for traversing elements. While traversing nodes, it > filters by a checked coercion to elements. Typed selection, as you > suggest, is another possibility, but my guess is that it would take a > quite a while to design something that is easily learnable and not very > challenging to type, if that is possible at all – as you seem to agree. > Kind of, but it's in Tyxml_js, not in tyxml directly. It needs knowledge over the type of nodes which is not available in Xml_sigs.T It's also nominal, so you can't say `coerce ~to:"a"`