[Ur] CMS like features ? unsafe XML - encodings?

[Adam Chlipala]

Chris Double wrote:
> I do the feed parsing in python. It reads the list of feeds from the
> Ur/Web database, fetches them, parses them, and stores the data back
> in the database.
>
> Now that Ur/Web can have server side threads (Mantis issue 36) and
> better external POST support (Mantis issue 38), I'll move to having
> Ur/Web do more of this. For the task of parsing I might leave that to
> Python or find some C based library I can use with the FFI. I'm not
> sure I'm up to writing an RSS parser in Ur/Web natively.
>    

This RSS scraping seems like an important common case.  My gut feeling 
is that it's best handled with a different domain-specific language that 
produces nice, fast parsers via C, with Ur/Web integration support 
included as appropriate.