| . Understanding how to respond to type inference and error messages is
| hard enough without having additional differences in innocent-looking
| code. Do you think my hope is reasonable that not-generalizing could
| lead to better error messages?
I don't think it's obvious one way or the
On Fri, Aug 7, 2009 at 1:04 PM, Simon Peyton-Jonessimo...@microsoft.com wrote:
| . Understanding how to respond to type inference and error messages is
| hard enough without having additional differences in innocent-looking
| code. Do you think my hope is reasonable that not-generalizing could
On 6 Aug 2009, at 12:18, Simon Peyton-Jones wrote:
The paper makes the (somewhat radical) case for not generalising
local bindings at all; which would at a stroke remove most of the
issues of the MR. (We'd still need to think about the top level.)
Only the other day I was writing some
The paper makes the (somewhat radical) case for not generalising local bindings
at all; which would at a stroke remove most of the issues of the MR. (We'd
still need to think about the top level.)
We'd love to know what any of you think of the idea.
I read the paper (except section 5 which
