Tag Info

As @Silvio Mayolo mentions in the comments, GHC Haskell does transform code to this “dictionary-passing style” by adding vtable arguments, but the result doesn’t necessarily require dynamic dispatch. ...

Objective-C's solution Objective-C is insane. Background You know, say, C# dynamic? How every method call needs to be dynamically dispatched because you have no ...

A major disadvantage is that it relies on naming to implement a feature that can be implemented only using type information. This looks more like something that would exist in a macro language like \...

There is a well-understood compiler optimization called "devirtualization", which GHC is almost certainly going to rely on later in the compiler pipeline. The core idea behind ...

This feels more like a stackoverflow Q than a PLDI one as you seem to be talking about how to use a feature not realize it in a language. I will assume you mean the latter. If I've interpreted your ...

I don't see much problem in adding extension methods to a vtable per se, it can work pretty much like usual inheritance. There's not so much difference between ...

This can only be answered definitively by the language designers, but my guess is that it's a combination of: Static dispatch requiring monomorphisation, which causes more code to be generated and ...