Re: [Haskell-cafe] Re: Shouldn't this loop indefinitely => take (last [0..]) [0..]

Hi

We can however write function like this:

eqLengths [] [] = True eqLengths (x:xs) (y:ys) = eqLengths ys xs eqLengths _ _ = False

which looks just fine for me.

I have this defined function. I also have lenEq1, lenGt1, and a few other variants. It works, but it just doesn't feel elegant. Note: In case anyone gets the wrong impression, I am not suggesting lazy naturals be the standard numeric type in Haskell, just that by not going that way we have paid a cost in terms of elegance. Thanks Neil