Danra wrote: > Here's an idea I've been playing with for a syntax for type checking > in python. Instead of trying to explain it, I'll just start off with > an example: > (snip the example) I think I remember having heard of something like interface or protocol checking in Zope (last version, probably). You may want to look at this? Laotseu