Simon Peyton-Jones <[EMAIL PROTECTED]>
announces the editor's proposals for the "typos" fix in Haskell-98.
> Partition
> [..]
> The "standard" (lazier) defn should be the one in the H98 report.
>
> PROPOSAL: use the filter/filter defn of partition
I agree.
> 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).
Because many user bugs with n < 0 will be visible in the start of
these functions.
> splitAt
> splitAt has the same inconsistency as take, drop.
> Indeed, splitAt would be better defined thus
>
> splitAt n xs = (take n xs, drop n xs)
>
> PROPOSAL: use the take/drop defn of splitAt
I agree.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
