[Haskell-cafe] Functional progr., images, laziness and all therest
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