Andrew Koenig <ark@research.att.com> writes: > Martijn> But isn't that exactly what interfaces are? > > Not really. I can see how an interface can claim that a particular > method exists, but not how it can claim that the method implements a > function that is antisymmetric and transitive. An interface can certainly claim such things, in its documentation - and indeed, the documentation of interfaces typically associates certain semantics with the objects implementing the interface (and in some cases, even semantics for objects using the interface). Of course, there is typically no way to automatically *validate* such claims; you can only validate conformance to signatures. It turns out that, in Python, you cannot even do that. Regards, Martin
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4