Re: [Caml-list] [ANN] Lambda Soup - HTML scraping and rewriting with CSS selectors

["François Bobot" <francois.bobot@cea.fr>]

On 23/11/2015 17:26, Anton Bachin wrote:
>> However in this case since the differences is about typing and not just the implementation, I'm not sure you can define a generic functor that could be applied with instance (NetHttp, tyxml, yours) that restricts differently the function applications.
>
> Let me make sure we are focusing on the same issue. I am supposing that
> you would like to construct a tree using tyxml’s “richly-typed”
> functions, then be able to walk around it using Lambda Soup, and make
> edits in the tree using the mutation interface (or some improved
> variant of it) or tyxml. However, when making the edits, you would want
> the “rich” tyxml types preserved, to benefit from the static constraints
> they impose on your code. Is this right?

Yes, I forgot that you don't modify the tree. However even just for walking, you need to be able to 
return an element of the right type. But it is, indeed, easier without modification.

>
> I think that is the only trouble. Lamdba Soup doesn’t actually expose
> any XML type, and I think it can ported or functorized to work with just
> about any low-level XML representation.

It would be interesting to know how that work out.


Best,

-- 
François