[Ur] Client http functionality?

[Adam Chlipala]

I'll add that the Meta library (effectively part of the extended Ur/Web 
standard library) contains type-directed JSON parsing and generation code.
     http://hg.impredicative.com/meta

Composed with curl via a tiny amount of FFI code, that should provide 
what you're looking for.

On 04/28/2015 04:28 PM, Sergey Mironov wrote:
> Hi. I can't remember anything like that written in Ur/Web, but it
> would be nice to have such tool. Let me drop some links:
> There are OpenId (http://hg.impredicative.com/openid) and Persona
> (https://github.com/doublec/urweb-persona) projects which use curl via
> FFI to query third-party servers. AFAIK, persona does some kind of
> JSON processing. Also, here is a discussion dedicated to parsec-style
> parser http://www.impredicative.com/pipermail/ur/2014-July/001715.html
>
> Regards,
> Sergey
>
> 2015-04-28 21:03 GMT+03:00 Gabriel Riba <gabriel at xarxaire.com>:
>> Hi!
>>
>> Is there any primitive or library to http-get the content of a URL to be
>> processed programatically?
>>
>> I am thinking about adding info from OpenData sources in JSON format.
>>
>> (https://en.wikipedia.org/wiki/Open_data)