Re: drop & take [was: fixing typos in Haskell-98]

[Marcin 'Qrczak' Kowalczyk]

Tue, 25 Jan 2000 14:41:54 -0800, Craig Dickson <[EMAIL PROTECTED]> pisze:

> And I like having "head []" be an error, because if it returned
> [], then it seems to me that that would have nasty implications
> for pattern-matching.

head [] can't return anything than bottom because anything else has
the wrong type. It has no way of inventing a value of arbitrary type
from nothing.

-- 
 __("<    Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/              GCS/M d- s+:-- a22 C+++$ UL++>++++$ P+++ L++>++++$ E-
  ^^                  W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK                  5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-