With the module system, I can write a functor requiring
a function called 'foo' with some signature.
When I instantiate the functor I can construct
a module argument 'on the fly' to rename any function
I'm passing like:
let g () = ...
module M = F (struct val f = g end)
So that the names used in the functor are arbitrary
and can bind to any entity with suitable renaming.
[At least I gather this is the intent]
Is there a way to do this with classes?
A typical problem is: our class actually has
the correct methods, but they're named wrong.
A extension is: we have the right method,
except the argument order is different.
An extension of that is: we don't have exactly
the right methods, but we can easily construct them.
All these cases can easily be solved with a proxy object
that delegates most of the method calls, perhaps with
some argument reordering or minor fiddling.
But is there a convenient way to construct such objects
anonymously at the point needed? After all class types
are signature based ..
Hmmm.. can I write:
(fun o -> object method f: init = o#g end)#f
given o has a method g of suitable type but wrong name?
--
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850,
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners