Question about typing
Sat, 7 Apr 2001 13:07:44 +0100
Is there a class that both lists and lazy streams could implement, so
that zip et al could be more general? The distinction between 2 and 3
below seems a bit arbitrary. Something like fmap/Functor? (If there
is, I guess it could apply to 1 too?; if not, why not - is it
impractical (efficiency?) or just wrong?)
On Thu, Apr 05, 2001 at 06:19:30PM +0100, Toby Watson wrote:
> Intuitively the following scenarios seem to be related, can anyone point my
> in the direction of formal work on this, or give me the formal terms I need
> to search around?
> 1. Adding two integers together: Int -> Int -> Int
> 2. Adding two lists of Integers together: [Int] -> [Int] -> [Int]
> 3. Adding two lazy streams of integers together, possibly in seperate
> (parallel) processes for example.
> Haskell-Cafe mailing list