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

[Anton Bachin <antonbachin@yahoo.com>]

> It's also nominal, so you can't say `coerce ~to:"a”`

That’s fine, I’m not proposing something like that, in part because I
don’t think it is even possible to have a type coercion with such usage
in OCaml. Maybe it is with some GADT abuse, if “a” was a constructor, but
it’s still not what I meant. I was just thinking of a set of functions

    coerce_blah : any_node -> blah_node option

for some more or less verbose actual types any_node and blah_node. For
comparison, see Dom_html.CoerceTo from js_of_ocaml [1]. then you can do

    root $$ select “div > whatever"
    |> filter_map coerce_whatever
    |> iter (fun typed_whatever_node -> ...)

Anyway, I will study tyxml in some detail. I am working on something
else right now, so it will probably be in a few weeks.

Thanks,
Anton


[1]: http://ocsigen.org/js_of_ocaml/2.6/api/Dom_html.CoerceTo