[Haskell-cafe] Functional progr., images, laziness and all therest

Brian Hulley brianh at metamilk.com
Thu Jun 22 15:10:37 EDT 2006

minh thu wrote:
> maybe i wrong, anyway :
> induction can be used to prove a property.
> we claim that the property is true for any finite i.
> so what's the property that you want to prove by induction ?
> you say 'by induction on the lenght of yq'.. but yq is just y (modulo
> the "a*xq + b*").
> it's exactly the same in
> ones = 1:ones
> does the left "ones" longer than the right one ?

Thanks for pointing this out - I'd somehow missed the fact that yq was also 
defined in terms of y, so of course the idea of length becomes meaningless 
in this context (at least as far as trying to compare the length of yq with 
that of y)

Best regards, Brian.

Logic empowers us and Love gives us purpose.
Yet still phantoms restless for eras long past,
congealed in the present in unthought forms,
strive mightily unseen to destroy us.


More information about the Haskell-Cafe mailing list