On Thu, Mar 16, 2000 at 09:50:49AM +0100, Pascal Brisset wrote:
> Pierre Weis writes:
> > For all these reasons, I would suggest to carefully use labels into
> > the standard libraries:
> >
> > -- remove labels from higher-order functional
> > -- remove redundant labels: when no ambiguity can occur you need not
> > to add a label.
> > -- use labels when typechecking ambiguity is evident (for instance
> > when there are two or more parameters with the same type).
>
> Would it be possible to organize a vote for removing all labels from the
> standard library ?
I thought that all labels added to the standard library are only there because
they can be added in a totally transparent way of doing things, because a
labeled function can be used unlabeled if you like it.
Friendly,
Sven LUTHER
This archive was generated by hypermail 2b29 : Fri Mar 17 2000 - 16:31:23 MET