On 30 December 2011 17:27, Conal Elliott <[email protected]> wrote:

> On Fri, Dec 30, 2011 at 9:20 AM, Colin Adams <[email protected]>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.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to