Re: [Haskell-cafe] On the purity of Haskell

30 Dec 2011


      On 30 December 2011 17:27, Conal Elliott  wrote:
...
On Fri, Dec 30, 2011 at 9:20 AM, Colin Adams wrote:
...
proof: f is a function, and it is taking the same argument each time.
Therefore the result is the same each time.
Careful of circular reasoning here. Is f actually a "function" in the
mathematical sense? It's that math sense that you need to reach your
conclusion.
Yes. Because Haskell is a functional programming language.