Simon,
For some reason, I can't find the relevant messages about this,
but my recollection is that during the 1.1 revision (maybe earlier)
the Glaswegians discussed length and friends and recommended
that I do just what was done: making the result of length specifically
Int, but leaving take, drop, splitAt, (!!) (I think that's all of them)
as (Integral a) => ... . The reason is that length alone manufactures
a number with a type that doesn't depend on an argument type, and thus
is possible trouble for overloading ambiguity.
--Joe
To: Joe Fasel <[EMAIL PROTECTED]>
Cc: haskell
Subject: take and drop
Date: Fri, 14 Feb 92 15:50:32 +0000
From: Simon L Peyton Jones <simonpj>
Sender: haskell-request
Joe
A prelude question:
The function length returns an Int.
Shouldn't take and drop take an Int?