Question about typing

[andrew@andrewcooke.free-online.co.uk]

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?)

Curious,
Andrew

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.
> 
> 
> cheers,
> Toby
> 
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
> 

-- 
http://www.andrewcooke.free-online.co.uk/index.html