Dear Haskell lovers,
The Haskell Prime process for standardisation of new versions of the Haskell
language is at something of an impasse. Since the Haskell 2010 Report was
issued (at the end of 2009), there has been very little momentum to formalise
existing extensions and generalisations,
On Sun, Feb 3, 2013 at 4:44 PM, Ben Millwood hask...@benmachine.co.uk wrote:
I have two proposals, I suppose:
- make bang patterns in let altogether invalid
I would prefer it to be valid. It's the syntactically most lightweight
option we have to force some thunks before using the resulting
| I have two proposals, I suppose:
| - make bang patterns operate only on variables and wildcards
| - make bang patterns in let altogether invalid
|
| Looking at this again made me realise that, as well as !_ and !varid
| lexemes, we could also alter the decl production so that we get
|
On Mon, Feb 04, 2013 at 10:37:44PM +, Simon Peyton-Jones wrote:
I don't have a strong opinion about whether
f ! x y ! z = e
should mean the same; ie whether the space is significant. I think it's
probably more confusing if the space is significant (so its presence or
absence
On Mon, Feb 04, 2013 at 01:21:31PM -0800, Johan Tibell wrote:
On Sun, Feb 3, 2013 at 4:44 PM, Ben Millwood hask...@benmachine.co.uk wrote:
I have two proposals, I suppose:
- make bang patterns in let altogether invalid
I would prefer it to be valid. It's the syntactically most lightweight
If space sensitivity or () disambiguation is being used on !, could one of
these also be permitted on ~ to permit it as a valid infix term-level
operator?
That would be an amazingly valuable symbol to be able to reclaim for the
term level for equivalences, and for folks who come from other