Raph,

Many thanks for your response, I don't know why I didn't think of that, it will work adequately for my purpose. Thanks again.

-Justin


On Oct 9, 2008, at 12:26 AM, Raphael Collet wrote:

Dear Justin,

The short answer is: no. The signature of the functor (or more precisely, the module created from the functor) is only known at runtime. You can check it explicitly with something like {HasFeature M invokeAction}, where M is the module instanciated from the functor.

Anyway, even statically typed languages like ML must check types at runtime when they dynamically load stuff like modules...

Cheers,
raph

On Wed, Oct 8, 2008 at 4:35 PM, Justin Henzie <[EMAIL PROTECTED]> wrote:
I am working on porting a windows forms application to w3 using mozart for the backend.

As it stands there is not much support for Mozart as an application server in the w3 sense so I am using CGI and using a generic WebAdaptor to dispatch functions.

The WebAdaptor looks for the key:action in the query string and locates a functor by that name. As it stands I am using a convention that the functor must implement and export a proc named InvokeAction.

My question is:

Is there any way to define a functor signature that a functor must implement ala ML (OCAML)?

-Justin




_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to