strictness of List.transpose

1998-03-31 Thread Jonas Holmerin
The other day, I tried to transpose an infinite list of finite list: Simplified example: transpose (repeat [1..5]) This won't terminate, since transpose is defined as transpose :: [[a]] -> [[a]] transpose = foldr (\xs xss -> zipWith (:)

Re: strictness of List.transpose

1998-03-31 Thread Jeffrey R. Lewis
Jonas Holmerin wrote: > The other day, I tried to transpose an infinite list of finite list: > Simplified example: > > transpose (repeat [1..5]) > > This won't terminate, since transpose is defined as > > transpose :: [[a]] -> [[a]] > transpose = foldr >