Francis Girard <[EMAIL PROTECTED]> writes: > But I can't help thinking that the distinction between "being" a list of > integers and "being" a function that "returns" a list of integers (without > arguments) is not always clear in FP ... since there is not really such a > thing as returning a value in declarative programming, neither in > mathematical thinking.
Please correct me if I'm wrong, but I can recall that this distinction is made by hamming::[Integer] having no arguments, so it gets memoized within its scope. Being a CAF (top level constant applicative form) only means it can't go out of scope so has no chance of recomputation at all. Am I right? -- Feri. _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
