[Types-sig] check.py (was: PyDL RFC 0.02)

Martijn Faassen m.faassen@vet.uu.nl
Wed, 05 Jan 2000 11:02:33 +0100


Skip Montanaro wrote:
> 
>     Martijn> def foo(a the Integer, b the String, c the Foo, d the Any) the Integer:
>     Martijn>     e = d the Integer
>     Martijn>     return e
> 
>     Martijn> I could definitely live with that one. Doesn't have the
>     Martijn> semantic confusion that 'as' have and it seems readable.
> 
> I have to toss out the barb that when the most frequently used token in my
> Python code is "the" or "as" it will be time to find another language...

:) 

> (Someone please reassure me by stating emphatically that all this extra
> stuff will never be required!)

Type-checking is optional, so all the 'as', '!', ':', 'the' or whatever
it'll be will never be required.

I just thought 'the' looked better than the ':' approach (but I may
change my mind tomorrow):

def foo(a: Integer, b: String, c: Foo, d: Any)->Integer:
    e = d ! Integer
    return e

Yeah, I may change my mind tomorrow. I just thought 'the' was cute. :)

Regards,

Martijn