Julian Assange wrote:
> Have you looked at the nice (un-)marshaling features of Ocaml? The
> implementation is such that fist class functions can be marshaled,
> un-marshaled and subsequently executed, even for natively compiled
> code. [...]
I can't find documentation for the things you mention. What I've found
so far is http://caml.inria.fr/ocaml/htmlman/ which contains a section
"Interfacing C with Objective Caml", describing the primitive interface
and http://caml.inria.fr/camlidl/htmlman/ which describes an IDL
compiler for OCaml.
The primitive interface of OCaml is *far* more unsafe than anything
we have been discussing here. Every OCaml value is passed as an
argument of type `value' and the poor programmer has to fiddle around
with macros, in effect doing some parsing without any help given by
typing. *shudder* Camlidl makes things better, but this is a
different story, we are discussing Haskell's primitive FFI and a lib
for handwritten (and automatically generated) bindings, not H/Direct.
Cheers,
Sven
--
Sven Panne Tel.: +49/89/2178-2235
LMU, Institut fuer Informatik FAX : +49/89/2178-2211
LFE Programmier- und Modellierungssprachen Oettingenstr. 67
mailto:[EMAIL PROTECTED] D-80538 Muenchen
http://www.informatik.uni-muenchen.de/~Sven.Panne
