Question about None

[Andre Engels]

On Sun, Jun 14, 2009 at 10:21 PM, Paul
Rubin<http://phr.cx@nospam.invalid> wrote:
> Andre Engels <andreengels at gmail.com> writes:
>> > That seems to confuse values with collections of them. Â A car is not
>> > the same as a one-element list of cars. Â Nothing is not the same as a
>> > zero-element list of cars.
>>
>> So you are of the opinion that "nothing" _is_ a car?
>
> Eh?  No of course not.  a != b and b != c does not mean a==c.
> I don't understand what you're getting at.

I was making a point that I don't agree that "nothing" would match any
type. The reason was that anything of the type car is one car, not two
cars or zero cars, but "nothing" is zero cars. You don't agree with
me, so apparently you are of the opinion that "nothing" would be a
car.

-- 
André Engels, andreengels at gmail.com