Obwohl es in Ihrem eigenen Code trivial ist, ein aktives Muster zu erstellen, das mit vergleichbaren Typen arbeitet, ist dies vielleicht ein weiterer Grund, warum sie die Oberfläche von Kernfunktionen nicht vergrößern möchten. Aber ich vermute, ;). Dies ist nicht etwas, was wir wahrscheinlich tun werden – es ist ein Feature, das seit der Erfindung des Musterabgleichs in Betracht gezogen wurde, und grenzt an das gesamte Feld der Einschränkungslösung für Werkzeuge wie Z3 – es gibt im Grunde kein Ende der Menge an Logikleistung, die wir in die Überprüfung dieser Art von Einschränkungen gießen könnten. Dies bedeutet auch, dass es kein Ende der Subtilität gibt, die das Programmierteam möglicherweise darüber im Klaren sein muss, wie diese Logiküberprüfungsleistung verwendet wird. Nachdem Sie sich entschieden haben, wie Sie mit Ihrem Vergleich umgehen, betrachten Sie die beiden Organisationsstrukturen für das Vergleichspapier: Eine Fachorganisation widmet jedem der wichtigsten Dinge, die verglichen werden, einen ganzkörperigen Absatz. Verwenden Sie die gleiche Reihenfolge wie Sie Ihre Körperabsätze schreiben. Zum Beispiel, in einem Themen-für-Thema-Vergleich der beiden Baseball-Teams, könnte ein Körper Absatz untersuchen, wie Roger Clemens spielte, als er mit den Red Sox und dann im folgenden Absatz, wie er spielte, als er mit den Yankees war. Verwenden Sie dieses System, wenn Sie viel zu jedem der Dinge zu sagen haben, die Sie vergleichen. Auf den folgenden Seiten finden Sie mehrere effektive Möglichkeiten, Informationen in Ihren Essays zu organisieren. Wenn Sie oft wissen, wer Ihre Zielgruppe ist und was Ihr Zweck ist zu schreiben (was Als Ihre rhetorische Situation bezeichnet wird), können Sie oft beginnen, die Organisation dessen zu betrachten, was in Ihrem Papier sein wird, wie Sie Ihr Papier vorstellen werden und was Sie für Ihre Schlussfolgerung schreiben. Die folgenden rhetorischen Muster helfen Ihnen, diese Fragen zu beantworten.

Interessante Punkte, ich habe nicht einmal an NaN gedacht. Deshalb habe ich diese Frage gestellt –- ich wusste, dass es einige Dinge geben würde, die mir fehlen würden, und einige gute Ideen aus der Community! 🙂 Ich stimme zu, obwohl es wahrscheinlich am besten für den Compiler wäre, Sie an diesen Fall zu erinnern. Eine kleine Frage fällt mir jedoch ein: Sollte die Warnung anders sein als eine normale “unvollständige Musterübereinstimmungsausnahme”, so dass es leicht ist, sich selektiv nicht um diesen Fall zu kümmern, wenn Sie die Verantwortung übernehmen wollen? Wenn Sie zu Ihrem Abschluss kommen, möchten Sie vielleicht zu Ihrer Abschlussaussage in dem Sinne zurückkehren, dass Sie offensichtlich Ihr Urteil abgeben wollen, was der Grund für Ihren Vergleich war.