Michael Walter wrote:Yepyep, but *how* you declare types now? Can you quickly type the function def f(x): x.read()? without needing an interface interface x_of_f: def read(): pass or a decorator like @foo(x.read)? I've no idea what you mean, really :o)
Why would something like
def f(x): x.read()
do any type checking at all?
It wouldn't. The idea is to make this:
def f(x:file): x.read()
automatically find a method declared '@implements(file.read,X)' where X is in x.__class__.__mro__ (or the equivalent of MRO if x.__class__ is classic).
_______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com