<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

</head>

<body bgcolor="#ffffff" text="#000000">

<font face="Helvetica, Arial, sans-serif">In Haskell, I sometimes have

to annotate code with type info because the type-inferer otherwise

fails (even with </font><code class="option">-XNoMonomorphismRestriction)</code><font

 face="Helvetica, Arial, sans-serif">. Surely, most of the time this is

because I was writing buggy code, but sometimes, type annotation just

seems needed to get a successful compilation (luckily </font><font

 face="Helvetica, Arial, sans-serif">not as often as in C# 3.0)<br>

</font><font face="Helvetica, Arial, sans-serif"><br>

It seems some new papers appeared regarding this, e.g.

<a class="moz-txt-link-freetext" href="http://research.microsoft.com/~simonpj/papers/boxy">http://research.microsoft.com/~simonpj/papers/boxy</a><br>

<br>

Is this work being incorporated into GHC? <br>

<br>

Unfortunately I'm not able to read those papers, so I'm not really sure

what it means anyway and what implications (example code?) it would

have ;-)<br>

<br>

Cheers,<br>

Peter<br>

<br>

</font>

</body>

</html>