[m-rev.] New library module: pile

[Ralph Becket]

Fergus Henderson, Thursday,  6 February 2003:
> 
> Hmm, there must be something similar in Edison...
> <googles away for a few minutes>
> Yes, the Edison Haskell library has a data type named "JoinList"
> which I think is probably essentially the same thing as your
> "pile" type.  The name "JoinList" (or "join_list", as it would
> be in Mercury) is IMHO not bad -- it quickly gets across both the idea
> that the type is a kind of list (i.e. that it represents a sequence) and
> the idea that the type is good for joining (i.e. concatentation is cheap).
> Still, I'm open to alternative suggestions...

Hmm.  If we call it a join_list we should probably add head and tail
operators and the like.

Which reminds me.  I avoided overloading [] and [|] because it seems to
me this will cause ambiguity problems with code that also imports list.
Do you agree that this this is fair, or should I use [] and [|] instead
of empty and cons for the sake of consistency?

- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------