Carmack about static analysis

[simendsjo]

On 25.12.2011 00:44, Timon Gehr wrote:
>
> Not really. Functional style code tends to be conceptually simpler.
> Having code that is more readable can help. Getting rid of (({return
> {return}}){return()}) makes the code more readable, whereas excessively
> shortening identifiers does the opposite.
>
> See here for an example of what bearophile is talking about:
> http://pastebin.com/2rEdx0RD

r=cons(st(1UL),cons(st(1UL),lz({return zipWith((Lazy!ulong a,Lazy!ulong 
b){return lz({return a()+b();});},r,r().tail)();})));