Für DBC benutzt Du in C das Assert-Makro. An dieser Stelle sei einmal angemerkt, dass C 1972 entwickelt wurde. Klar gabs das alles schon. Ich kann auch auf while etc. vergessen und nur noch manuell im Programm umherspringen. Ob das jetzt zur Lesbarkeit beiträgt sei mal dahingestellt. Dasselbe gilt ...

Für mich als Anwender einiger Klassen ist das uninteressant. Ich erwarte eine einfache Regel, zum Beispiel: Dir als Anwender kann das auch egal sein, der Autor muss dafür Sorge tragen dass sich seine Klasse sinnvoll verhält. Für mich sind das Schwachstellen in der Sprache, da ein Objekt im Prinzip ...

Wie sieht es mit zwei Klassen aus, die beide __add__ und __radd__ für die jeweils andere implementieren? Das wird sicherlich nicht gewürfelt, aber es wäre unschön, wenn es zwei unterschiedliche Varianten gibt, die dann nicht zuordbar sind, wenn man nicht die Feinheiten von Python kennt. Es wird imm...

Was dumm ist: a = MyNumber(5) a + 3 # funktioniert 3 + a # TypeError Dafür gibt es __radd__. Sicher kann man über Geschmack streiten. Allerdings sollte der Geschmack da zurücktreten, wo Konsistenz gefragt wird. Ich sehe den Zusammenhang zwischen a+b und "operator +" als deutlicher gegeben, als bei ...