On 30 December 2011 17:27, Conal Elliott <co...@conal.net> wrote:
> On Fri, Dec 30, 2011 at 9:20 AM, Colin Adams <colinpaulad...@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.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe