On 9/18/07, Simon Marlow [EMAIL PROTECTED] wrote:
Ian Lynagh wrote:
I proposed renaming
haskell@ - haskell-announce@
haskell-cafe@ - haskell@
[snip]
but now I have to admit I think haskell-cafe is a big win
for the community.
To me this suggests renaming haskell@ to
van Dijk
| Sent: 17 September 2007 20:17
| To: Mads Lindstrøm
| Cc: haskell@haskell.org
| Subject: Re: [Haskell] Swapping parameters and type classes
|
| On 9/17/07, Mads Lindstrøm [EMAIL PROTECTED] wrote:
| Hi Bas
|
| Thank you for the answer.
|
| I tried to fill in some blanks in the example
Well, the corridors are better known for the men in power:-)
Why don't leave this entry as Reception for the uninitiated and move on to
Announcements and ... Curiosity?
Regards,
-A.J.
___
Haskell mailing list
Haskell@haskell.org
Responding to Simon Peyton-Jones' reminder that this is a low-bandwidth list I
was obscure and commited a blunder.
This one and many other threads here are started undoubtedly by experts [sorry
guys:-)] and coffee brake should work for them, but on numerous occasions
threads here spawn beginner
On Tue, Sep 18, 2007 at 03:48:06PM +0100, Andrzej Jaworski wrote:
Responding to Simon Peyton-Jones' reminder that this is a low-bandwidth list
I
was obscure and commited a blunder.
This one and many other threads here are started undoubtedly by experts [sorry
guys:-)] and coffee brake
Ian Lynagh wrote:
On Tue, Sep 18, 2007 at 03:48:06PM +0100, Andrzej Jaworski wrote:
Responding to Simon Peyton-Jones' reminder that this is a low-bandwidth list I
was obscure and commited a blunder.
This one and many other threads here are started undoubtedly by experts [sorry
guys:-)] and
Salute Simon, hi everybody here!
Ian is scientific in his observations and has a valid point. I share his
objection to the Haskell list as unnecessarily misleading newcomers which, I
would add, sets precedents for others to be verbose. Then, creating a Beginner
list is less fortunate than
On Sun, Sep 16, 2007 at 01:59:02PM -0700, Stefan O'Rear wrote:
{-# OPTIONS_GHC -XTypeFamilies -XEmptyDataDecls -XTypeSynonymInstances #-}
{-# LANGUAGE TypeFamilies, EmptyDataDecls, TypeSynonymInstances #-}
(Ian/Simon: I've seen this several times now. Maybe there should be a
warning
Hi Bas
Thank you for the answer.
I tried to fill in some blanks in the example you gave. And mostly got
a lot of context reduction stack overflows :(
Here is my example (a little closer to what I actually need):
data Foo a b = Foo { first :: a, second :: b }
class Bar (x :: * - *) where
On 9/17/07, Mads Lindstrøm [EMAIL PROTECTED] wrote:
Hi Bas
Thank you for the answer.
I tried to fill in some blanks in the example you gave. And mostly got
a lot of context reduction stack overflows :(
Here is my example (a little closer to what I actually need):
data Foo a b = Foo {
On 9/16/07, Mads Lindstrøm [EMAIL PROTECTED] wrote:
Hi all
If I have this type:
data Foo a b = ...
and this class
class Bar (x :: * - *) where ...
I can imagine two ways to make Foo an instance of Bar. Either I must
apply the 'a' or the 'b' in (Foo a b). Otherwise it will not have
Hi all
If I have this type:
data Foo a b = ...
and this class
class Bar (x :: * - *) where ...
I can imagine two ways to make Foo an instance of Bar. Either I must
apply the 'a' or the 'b' in (Foo a b). Otherwise it will not have the
right kind. To apply the 'a' I can do:
instance Bar
On 9/16/07, Mads Lindstrøm [EMAIL PROTECTED] wrote:
Hi all
If I have this type:
data Foo a b = ...
and this class
class Bar (x :: * - *) where ...
I can imagine two ways to make Foo an instance of Bar. Either I must
apply the 'a' or the 'b' in (Foo a b). Otherwise it will not have
On 9/16/07, Mads Lindstrøm [EMAIL PROTECTED] wrote:
But what if I want to apply the 'b' ? How do I do that ?
The following uses type families (functions) and compiles under GHC HEAD:
{-# OPTIONS_GHC -XTypeFamilies -XEmptyDataDecls -XTypeSynonymInstances #-}
data Foo a b
class Bar (x :: * - *)
On 9/16/07, Bas van Dijk [EMAIL PROTECTED] wrote:
The following uses type families (functions) and compiles under GHC HEAD:
...
Oops this is not correct! Its getting late... oh well
Bas
___
Haskell mailing list
Haskell@haskell.org
On Sun, Sep 16, 2007 at 10:45:39PM +0200, Bas van Dijk wrote:
On 9/16/07, Mads Lindstrøm [EMAIL PROTECTED] wrote:
But what if I want to apply the 'b' ? How do I do that ?
The following uses type families (functions) and compiles under GHC HEAD:
{-# OPTIONS_GHC -XTypeFamilies
16 matches
Mail list logo
