[Haskell-cafe] About Fibonacci again...

[Ross Paterson]

On Thu, Nov 08, 2007 at 12:09:27PM +0100, jerzy.karczmarczuk at info.unicaen.fr wrote:
> This was my solution: 
> rs_jk = 1:rq where _:rq = concat (map (\x->1:[0|x==1]) rs_jk) 
> This is a bit similar to RP.

I started with that, but eliminated the tail by substituting and unrolling:

_:rq = concat (map (\x->1:[0|x==1]) rs_jk)
     = concat (map (\x->1:[0|x==1]) (1:rq))
     = 1:0:concat (map (\x->1:[0|x==1]) rq)