Ada 2012: Neue Sprachversion verabschiedet

• Startseite
• > heise Developer Artikel-Foren
• > Ada 2012: Neue Sprachversion verabschied...
• > Re: "Zusätzliche Informationen erhöhen Wartbarkeit"

• << Beitrag >>
• << Thread >>
• Beantworten
• E-Mail
• Neuer Thread
• Thread-Anzeige einblenden

Re: "Zusätzliche Informationen erhöhen Wartbarkeit"

Steve Vai schrieb am 21. Dezember 2012 14:34

> Es sind leider auch viele redundante Informationen enthalten, wie for
> Is_Empty():  "Check whether the buffer is empty".
> So etwas macht Programmcode schlechter lesbar. Leider immer wieder
> gesehen...

Naja, das ist jetzt etwas spitzfindig.

In einer Typsignatur würde ich solche eine natürlichsprachliche
Beschreibung der Semantik einer Funktion schon akzeptieren, in
einer Implementierung wäre so ein Kommentar sicher deplaziert.

Wenn man solche Kommentare Deiner Meinung nach weglassen muss,
dann kann man die Signatur auch komplett per Vor-/Nachbedingungen
beschreiben.  Sicher sehr gut lesbar.

Im Übrigen schreibt sich is_empty an der Aufrufstelle ohne Klammern
-also buffer.is_empty - zumindest für tagged types.
Ein Vorteil der Ada-Syntax gegenüber syntaktischen Meisterleistungen
wie C oder Java.

               Gruß

                      Professor Spock

• Nutzungsbedingungen
• << Beitrag >>
• << Thread >>
• Beantworten
• E-Mail
• Neuer Thread
• Thread-Anzeige einblenden

• In Thread-Darstellung zeigen
• In Eingangsreihenfolge zeigen