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
