[Haskell-cafe] On the purity of Haskell

[Colin Adams]

On 30 December 2011 17:27, Conal Elliott <conal at conal.net> wrote:

> On Fri, Dec 30, 2011 at 9:20 AM, Colin Adams <colinpauladams at gmail.com>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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111230/715fdfc5/attachment-0001.htm>