WhyClublet:HowToConverseDeeplyOnAWiki
|
Was machen wir im Hinblick auf die Anpassung der Terminologie (CodeNeuFormierung? -> (Code)Refactoring) mit dieser Seite? -- IljaPreuß |
|
Was machen wir im Hinblick auf die Anpassung der Terminologie (vgl. ExtremeProgramming/TerminologieDiskussion) mit dieser Seite? --ip |
|
Die letzte Bemerkung ist wirklich sehr gut - ich möchte das Gesagte an einem kleinen (hoffentlich einprägsamen) Beispiel verdeutlichen: :Gegeben ist der Ausgangsterm: 16 + 8x. :Dieser kann höchstens noch etwas anders geschrieben werden: 16 + 8x = 8 * (2 + x) : Was aber nicht wirklich viel bringt. An (mathem.) Operationen haben wir: 1 Addition und 1 Multiplikation. : Es komme nun zu dem gegebenen Term der Ausdruck "+ x^2" hinzu, dann haben wir als neuen Term: : 16 + 8x + x^2. Das ist der Zustand vor der "NeuFormierung": Wir sehen die Formel ist deutlich komplexer geworden: wir haben es nun mit 2 Additionen und 2 Multiplikationen zu tun. :Nun die "NeuFormierung": : 16 + 8x + x^2 ---> (4 + x)^2. :Die Formel ist dadurch deutlich einfacher geworden: Wir haben wieder 1 Addition und 1 Multiplikation! (Obwohl ursprünglich ein Term dazugekommen ist!) :Durch NeuFormierung ist es uns also gelungen, die "Komplexität" des Ausdrucks zu verringern. Wenn es sich bei dem Term nur um einen Sub-Term eines umfassenderen Ausdrucks handelt, so hat die "NeuFormierung" zweifellos dazu beigetragen, die Gesamtkomplexität zu verringern. Noch ein Beispiel, das vielleicht noch einfacher zu verstehen ist: :Gegeben ist der Ausgangsterm: x + y. :Es wird nun "- y" hinzuaddiert. Wir erhalten (rein formal): (x + y) + (-y) :Dies lässt sich jedoch "umformen" ("neuformieren") zu: x + (y + (-y)) :Was aufgrund eines Axioms gleich ist: x + 0 :Was wiederum aufgrund eines Axioms gleich ist: x. :Ohne den Schritt der NeuFormierung hätten wir immer noch: (x + y) + (-y) ! :--ff ::Noch eine Anmerkung dazu: man stelle sich vor, dass man das Ganze mit z zu multiplizieren habe. ::Im NICHT neuformierten Fall hätte man dann (rein formal): [(x + y) + (-y)] * z = (x + y)*z + (-y)*z. ::Was wiederum gleich ist: x*z + y*z + (-y)*z. ::Angenommen wir haben die Multiplikationen nur definiert (Software: implementiert) für pos. Werte, dann hätten wir nun ein *Problem*. (x,y,z seien als positiv vorausgesetzt.) ::Wenn wir jedoch von der neuformierten Formel ausgehen, dann hätten wir stattdessen: x*z , ::was nicht nur bedeutend einfacher ist, sondern auch noch keinerlei Probleme bei der "Berechnung" bereitet. --ff |
|
KategorieWiki--- |
|
KategoriePhilosophie KategorieWiki |
Was machen wir im Hinblick auf die Anpassung der Terminologie (vgl. ExtremeProgramming/TerminologieDiskussion) mit dieser Seite? --ip
WardsWiki:GermanXpTermForRefactoring
Code-NeuFormierung (CodeRefactoring):
Ein Hauptelement von ExtremeProgramming: Nach Implementieren und Testen einer Entwicklungseinheit wird der Code bei der NeuFormierung wieder in eine optimale Form gebracht. Redundante Teile werden als Funktionen herausgehoben. Mögliche Verbesserungen an der Gesamtstruktur werden durchgeführt. (Mathematisch gesehen entspricht die NeuFormierung einer Äquivalenztransformation: man formt eine Gleichung um, ohne ihren Gehalt zu verändern.)
Ein Hauptelement des WikiWeb, dessen Existenz ständig zwischen Präsentation und Diskussion pendelt. Themen beginnen häufig mit einem polarisierenden Statement, das dann Stück für Stück in der Diskussion abgerundet wird. Leider hat man dabei oft das Gefühl, dass das Thema zerredet wird. Bis sich jemand ein Herz fasst und die Seite durch NeuFormierung in einen für die nachfolgenden Leser nützlichen Zustand bringt.
Manchmal gelingt es auch durch ein ausgewogenes Statement ein Thema so darzustellen, dass man sich diesen mühsamen Weg über Diskussion und NeuFormierung sparen kann. Dann war ein WikiMeister am Werk.
Siehe auch: WhyClublet:HowToConverseDeeplyOnAWiki