Re: Syntax for label, NEW PROPOSAL

From: Sven LUTHER (luther@dpt-info.u-strasbg.fr)
Date: Fri Mar 17 2000 - 12:15:14 MET

  • Next message: Jacques Garrigue: "Re: Syntax for label, NEW PROPOSAL"

    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