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 <[email protected]>:
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)
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
