[Types-sig] RFC 0.1

[Martijn Faassen]

Paul Prescod wrote:
[vast snip]
> With all due respect my problem is that you took the obvious (or at
> least traditional) instance variable declaration syntax and used it as a
> class variable declaring syntax. Okay, let's try this:
> 
>  class foo:
>      types.IntType, a=5
> 
>      def __init__( self ):
>          types.ListType, self.b
> 
> That looks equally ugly to me. Got any other ideas?

Let's ignore the syntax issue for now, please? Let's just put the type
info in Python lists/dictionaries/etc. Those may look horribly ugly, but
they're *there* for use, you can do fancy generic type construction in
them if you want to, you can easily whip up a structure for that, and
Python can already use them right away!

Later on once we've got the horribly ugly system going we can think
about syntax. Syntax will be clearer once we've got the semantics going,
anyway.

Regards,

Martijn