Re: Type-checking with polymorphism & overloading

>So, is there anyone who can point me into the direction of an algorithm
>(or articles from which an algorithm could be deduced) to handle this
>problem ? Surely, someone in this large world must have looked at the
>combination of polymorpism and overloading ?


I think you're going to have to elaborate on what precisely you mean
when you use these two words 'polymorphism' and 'overloading', and in
what manner you intend to combine them. C++ provides both with static
type checking, but I suspect you're after dynamically binding functions
based on the types of all arguments: so-called multimethods. You could
have a look at the literature on the Common LISP Object System*. I think
you need to get a very coherent idea in your head about what will and
won't be allowed, and what will and won't be known at compile-time,
before you embark down the road of proving things, though. What is
intuitive and obvious from the outside can soon become subtle and
devious when you become more involved.


Good luck, and happy researching...


Ben




* Try Bobrow, et al: Common LISP Object System Specification. Lisp and
Symbolic Computation 1,3 pp 245-293
--

Return to the comp.compilers page.
Search the comp.compilers archives again.