From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id A54E7BCAB for ; Mon, 16 May 2005 11:11:13 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j4G9BDw3001039 for ; Mon, 16 May 2005 11:11:13 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA27861 for ; Mon, 16 May 2005 11:11:12 +0200 (MET DST) Received: from furbychan.cocan.org (furbychan.cocan.org [80.68.91.176]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j4G9BCaG001030 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Mon, 16 May 2005 11:11:12 +0200 Received: from rich by furbychan.cocan.org with local (Exim 3.35 #1 (Debian)) id 1DXbfu-00053B-00; Mon, 16 May 2005 10:14:10 +0100 Date: Mon, 16 May 2005 10:14:10 +0100 To: Claudio Sacerdoti Coen Cc: caml-list@inria.fr Subject: Re: [Caml-list] More on SOAP Message-ID: <20050516091410.GA19393@furbychan.cocan.org> References: <20050513220936.GA7588@furbychan.cocan.org> <20050516084749.GA8010@surcouf.polytechnique.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20050516084749.GA8010@surcouf.polytechnique.fr> User-Agent: Mutt/1.3.28i From: Richard Jones X-Miltered: at concorde with ID 428863B1.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 428863B0.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 sacerdoti:01 coen:01 parsing:01 mli:01 higher-order:01 notepad:01 stub:01 wrote:01 functions:01 functions:01 define:01 objects:02 parse:02 languages:03 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Mon, May 16, 2005 at 10:47:50AM +0200, Claudio Sacerdoti Coen wrote: > Dear Richard, > > > Instead of parsing WSDL, what I'm doing is allowing you to define the > > interface as a familiar .mli file, as in the example below: > > what do you do with higher order functions? It would refuse to parse the type if it noticed that a function was passed to or returned from a SOAP stub. I wasn't even aware that you could pass higher-order functions to SOAP functions - in fact, I don't even know how that would work with the majority of languages used to implement SOAP servers (ie. Java and C#) which don't support functions as first class objects. Rich. -- Richard Jones, CTO Merjis Ltd. Merjis - web marketing and technology - http://merjis.com Team Notepad - intranets and extranets for business - http://team-notepad.com