[Haskell-cafe] Re: Re[2]: Wikipedia on first-class object

[Ben Franksen]

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.

Cheers
Ben