> > Take and drop
> > [..]
> > I can see three alternatives:
> > 
> > (A) Make them defined for any n.  If n < 0, do something reasonable:
> >     take:   give empty list
> >     drop:   give whole list
> >
> > (B) Make them defined for n > length xs, but fail for n < 0.
> >
> > (C) Status quo
> > 
> > PROPOSAL: Use alternative (A)
> 
> I vote for (B). 

Ditto, though I would say that the restriction is that the 
argument should be a natural number, and its simply a 
failing of the type system that it cannot express this.

-- 
J�n Fairbairn                                 [EMAIL PROTECTED]
18 Kimberley Road                                        [EMAIL PROTECTED]
Cambridge CB4 1HH                      +44 1223 570179 (pm only, please)


Reply via email to