[Haskell-cafe] Re: Re: Wikipedia on first-class object
ben.franksen at online.de
Fri Dec 28 16:13:57 EST 2007
Bulat Ziganshin wrote:
> Hello Yitzchak,
> Thursday, December 27, 2007, 12:10:21 PM, you wrote:
>> In particular,
>> two functions are equal only if they produce
>> the same value for every input, and in general it is
>> impossible for a computer to check that.
> "for a computer" is superfluous here. people are not smarter than
> computers and can't do anything that's impossible for computers
I don't think my computer can be sorry, but I know I can be.
And don't forget that there are 'undecidable' problems.
More information about the Haskell-Cafe