Hey all,
To report on the current situation:
I'm myself still not sure which of the options of sharing/not sharing
is the most useful. I can't really estimate which I would want to use
the most, so I wouldn't dare to predict which most users would want.
However, the module-wide sharing is hard,
(I'm again starting a new thread to focus on this issue. It's easier to
track that way.)
On Thu, Oct 4, 2012 at 11:40 AM, Simon Peyton-Jones wrote:
There is also the small matter, in this example, of distinguishing which
`_' is which. The description works, but you have to think about it. I
I also like the proposal; however, I think it only makes sense if the set of
unbound variables with the same name is treated as referring to the same
identifier. This was, after all, the main reason for named holes. Roman
expected this, and I think everybody who uses the feature will expect
