[Python-3000] Type parameterization

[Marcin 'Qrczak' Kowalczyk]

"Collin Winter" <collinw at gmail.com> writes:

> 2. Similarly, annotation classes might want to do more complex
> parameter validation. Or(), for instance, might want to assert that it
> needs at least two distinct parameters (that is, Or(int, int, int)
> simplifies to Or(int), which makes no sense and is an error).

It does make sense. Or(int) denotes the same set of values as int.

You could as well complain that x+0 makes no sense and a language
should refuse to compute it, asking the programmer to use x instead.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/