On 07/05/2012 10:22 PM, wagne...@seas.upenn.edu wrote:
Quoting Mikhail Vorozhtsov :
After 21 months of occasional arguing the lambda-case proposal(s) is
in danger of being buried under its own trac ticket comments. We need
fresh blood to finally reach an agreement on the syntax. Read the wiki
p
On 07/06/2012 05:47 AM, Donn Cave wrote:
The `multi-clause lambda' seems more elegant, if the syntactical
problems could be worked out. I mean, unnamed functions are thus
just like named functions, something that you'd probably think to
try just as soon as you needed the feature.
I don't unders
On 07/06/2012 04:33 AM, Twan van Laarhoven wrote:
On 2012-07-05 23:04, Edward Kmett wrote:
A similar generalization can be applied to the expression between case
and of
to permit a , separated list of expressions so this becomes applicable
to the
usual case construct. A naked unparenthesized , i
So a while back Simon added a tick counter to the simplifier:
http://hackage.haskell.org/trac/ghc/ticket/5448
Are there any known bugs that can cause the simplifier to run out of
memory /without/ hitting the tick counter limit?
I have code that /used/ to run (at least after hacking around the
pre
The `multi-clause lambda' seems more elegant, if the syntactical
problems could be worked out. I mean, unnamed functions are thus
just like named functions, something that you'd probably think to
try just as soon as you needed the feature.
I don't understand the issues well enough with the layout
On 2012-07-05 23:04, Edward Kmett wrote:
A similar generalization can be applied to the expression between case and of
to permit a , separated list of expressions so this becomes applicable to the
usual case construct. A naked unparenthesized , is illegal there currently as
well. That would effec
I really like the \of proposal!
It is a clean elision with \x -> case x of becoming \of
I still don't like it directly for multiple arguments.
One possible approach to multiple arguments is what we use for multi-argument
case/alt here in our little haskell-like language, Ermine, here at S&P
Ca
Hi Paolo,
I agree that this would be useful. In fact, a couple of years ago I
implemented this in GHC, but after some discussion folks were not convinced
that it's a good idea. I don't remember the details but as far as I recall
we "agreed to disagree" :-) The e-mail thread is over here:
http
On July 5, 2012 10:42:53 Mikhail Vorozhtsov wrote:
> After 21 months of occasional arguing the lambda-case proposal(s) is in
> danger of being buried under its own trac ticket comments. We need fresh
> blood to finally reach an agreement on the syntax. Read the wiki
> page[1], take a look at the ti
Quoting wagne...@seas.upenn.edu:
Well, for what it's worth, my vote goes for a multi-argument \case. I
Just saw a proposal for \of on the reddit post about this. That's even
better, since:
1. it doesn't change the list of block heralds
2. it doesn't mention case, and therefore multi-arg \o
On Thu, Jul 5, 2012 at 5:21 PM, Christopher Done wrote:
> I like \case as is proposed. It seems the least controversial one and
> there's curry (\case ) for two-args, but even that seems a rare case.
>
> For what it's worth, I like the idea of omission being partiality, as
> in case of and if then
On 05/07/12 17:22, wagne...@seas.upenn.edu wrote:
Well, for what it's worth, my vote goes for a multi-argument \case. I find the
comment on the wiki page about mistyping "\case Just x" instead of "\case (Just
x)" a lot a bit disingenuous, since you already need these parens with today's
lambda.
On Thu, Jul 5, 2012 at 12:21 PM, Christopher Done wrote:
> I like \case as is proposed. It seems the least controversial one and
> there's curry (\case ) for two-args, but even that seems a rare case.
>
> For what it's worth, I like the idea of omission being partiality, as
> in case of and if the
Quoting Mikhail Vorozhtsov :
After 21 months of occasional arguing the lambda-case proposal(s) is
in danger of being buried under its own trac ticket comments. We
need fresh blood to finally reach an agreement on the syntax. Read
the wiki page[1], take a look at the ticket[2], vote and comm
I like \case as is proposed. It seems the least controversial one and
there's curry (\case ) for two-args, but even that seems a rare case.
For what it's worth, I like the idea of omission being partiality, as
in case of and if then. It seems perfectly natural to me, I don't need
a \ to tell me th
Hi.
After 21 months of occasional arguing the lambda-case proposal(s) is in
danger of being buried under its own trac ticket comments. We need fresh
blood to finally reach an agreement on the syntax. Read the wiki
page[1], take a look at the ticket[2], vote and comment on the proposals!
P.S.
As explained in detail here:
http://www.haskell.org/pipermail/ffi/2012-June/001867.html,
it may be useful to have a form of foreign declaration that creates a
static stub for a haskell function without exporting a symbol.
Here is a ticket for that: http://hackage.haskell.org/trac/ghc/ticket/7048.
17 matches
Mail list logo
