search for: waterboard

...bility of implementing C++'s complicated lookup and > resolution rules down at the LLVM level, Why on earth would we want to do anything like C++ lookup? I tried writing a C++ parser once, and I think the Obama administration can easily use it as a geneva-convention-friendly alternative to waterboarding on suspected terrorists. :-) > Once you restrict yourself to generics, you're only ever passing > pointers around, which, as you said, is the easy case (relatively), > since you don't need the type information at all once past the > front-end. Yes, and Java generics are do...

On Wed, Feb 18, 2009 at 12:32, DeLesley SpamBox <delesley.spambox at googlemail.com> wrote: >> I think the problem is deeper than that, in that LLVM has no official >> concept of a subtype, so I don't see how the idea of polymorphism >> could be defined in it. > > Parametric polymorphism is different from subtype polymorphism; you > can have one without the

> I think the problem is deeper than that, in that LLVM has no official > concept of a subtype, so I don't see how the idea of polymorphism > could be defined in it. Parametric polymorphism is different from subtype polymorphism; you can have one without the other. Parametric polymorphism just means that you can use type variables (like T) in the IR, which are later instantiated to