On 05-Jun-1998, Simon L Peyton Jones [EMAIL PROTECTED] wrote:
In hbc (and soon in GHC) you can say:
data OrganizationThing = forall a. Organisation a = MkOrg a
Last time I looked (at http://www.cs.chalmers.se/~augustss/hbc/decls.html),
hbc was using a different syntax:
data
On 06-Jun-1998, Josef Sveningsson [EMAIL PROTECTED] wrote:
The argument that the above declaration is tedios is, I think, irrelevant.
First of all; ofcourse it would be nice if the compiler could generate
everything that is possible derive but that is not always a help. Consider
c++ were
[Sorry if this appears twice. Our mail server hung at the exact moment
I tried to send this out last night, and it doesn't appear to have made
it to the list, so I'm resending it.]
On 05-Jun-1998, Simon L Peyton Jones [EMAIL PROTECTED] wrote:
Why is [Yahoo,DoubleClick] illegal?
It's
On Sat, 6 Jun 1998, Fergus Henderson wrote:
[...]
But I think it would be nice to have better language support.
[...]
I think you can go even ahead and declare OrganizationThing to be
a member of class Organization:
instance Organization OrganizationThing where
I have a base class,Organization, with name and address functions.
I want classes Buyer and Seller from Organization.
Now if I want to create an 2 instances of Seller
data Yahoo = Yahoo
instance Organization Yahoo where
name _= "Yahoo"
addreess = ...
data DoubleClick=
I have a base class,Organization, with name and address functions.
I want classes Buyer and Seller from Organization.
Now if I want to create an 2 instances of Seller
data Yahoo = Yahoo
instance Organization Yahoo where
name _= "Yahoo"
addreess = ...
data DoubleClick= DoubleClick