Overloading and overlap
daan at cs.uu.nl
Wed Apr 20 06:34:15 EDT 2005
Monique Louise wrote:
>>Note that "under the hood"
>>even .NET and Java use different names for each method ("renaming") to
> perhaps the virtual machine or the JIT compiler use different names
>to resolve overloads, but the code in .NET MSIL, for example, uses the
Ah yes, but that is because the .NET system still maintains types, ie.
the JIT resolves them in the end. So, if you want to call a .NET overloaded
function, you also need to pass the types of the arguments (which is just
as complicated as "renaming"). I guess that from the Haskell side, you
still need to have unique names for each overloaded version and use the
class system to resolve them. Maybe you can do with a single version where
you pass the types of the arguments too? Maybe with Dynamic of Equality
data types from ?
All the best,
 Arthur Baars and Doaitse Swierstra, "Typing Dynamic Typing"
>>I don't know of any other solution , but you may want to read
>>Andre Pang's master thesis (under supervision of Manuel Chackravarty)
>>that might have some content about this.
>Do you know where I can find that thesis ?
>Monique Louise B.Monteiro
>Msc Student in Computer Science
>Center of Informatics
>Federal University of Pernambuco
>FFI mailing list
>FFI at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FFI