[ apologies for cross-posting, the more appropriate sml-list is populated only by spam-bots :( ]
Hi,
Does anyone know of some HTTP code written in ML? I'd like to programmatically, in ML, do some web-queries...
cheers, lucas
On Wed, 16 Feb 2011, Lucas Dixon wrote:
Does anyone know of some HTTP code written in ML? I'd like to programmatically, in ML, do some web-queries...
There is some in Isabelle2011/src/Tools/WWW_Find/, but that's a server not a client.
Makarius
I've had an example of how to query the polyml.org home page kicking around for quite a long time. I've just added it to the samplecode directory on SVN. It has the bare bones of the networking code. I think I wrote it originally because Larry Paulson asked about it so he or one of his students may have taken it further.
Regards, David
On 16/02/2011 17:04, Lucas Dixon wrote:
[ apologies for cross-posting, the more appropriate sml-list is populated only by spam-bots :( ]
Hi,
Does anyone know of some HTTP code written in ML? I'd like to programmatically, in ML, do some web-queries...
cheers, lucas
-
David.Matthews＠prolingua.co.uk -
ldixon＠inf.ed.ac.uk -
makarius＠sketis.net