<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Monique Louise wrote:
<blockquote cite="midd3c68c8405041915492fbfe4c3@mail.gmail.com"
type="cite">
<pre wrap="">Hi, Daan,
</pre>
<blockquote type="cite">
<pre wrap="">Note that "under the hood"
even .NET and Java use different names for each method ("renaming") to
distinguish them.
</pre>
</blockquote>
<pre wrap=""><!---->
perhaps the virtual machine or the JIT compiler use different names
to resolve overloads, but the code in .NET MSIL, for example, uses the
same name.
</pre>
</blockquote>
Ah yes, but that is because the .NET system still maintains types, ie.<br>
the JIT resolves them in the end. So, if you want to call a .NET
overloaded<br>
function, you also need to pass the types of the arguments (which is
just<br>
as complicated as "renaming"). I guess that from the Haskell side, you<br>
still need to have unique names for each overloaded version and use the<br>
class system to resolve them. Maybe you can do with a single version
where<br>
you pass the types of the arguments too? Maybe with Dynamic of Equality<br>
data types from [1]?<br>
<br>
All the best,<br>
-- Daan<br>
<br>
<br>
[1] Arthur Baars and Doaitse Swierstra, "Typing Dynamic Typing"<br>
<blockquote cite="midd3c68c8405041915492fbfe4c3@mail.gmail.com"
type="cite">
<pre wrap="">
</pre>
<blockquote type="cite">
<pre wrap="">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.
</pre>
</blockquote>
<pre wrap=""><!---->
Do you know where I can find that thesis ?
Thanks,
Monique Louise B.Monteiro
Msc Student in Computer Science
Center of Informatics
Federal University of Pernambuco
_______________________________________________
FFI mailing list
<a class="moz-txt-link-abbreviated" href="mailto:FFI@haskell.org">FFI@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://www.haskell.org/mailman/listinfo/ffi">http://www.haskell.org/mailman/listinfo/ffi</a>
</pre>
</blockquote>
<br>
</body>
</html>