Exoteriker schrieb am 23. April 2014 11:19
> Martin Holz schrieb am 23. April 2014 10:55
>
> > Ja, und? Compiler warnen regelmäßig vor Programmierfehlern.
>
> Das ist aber nicht ihre Hauptaufgabe und sie können das auch nicht
> einmal mit halbwegs brauchbarer Zuverlässigkeit tun.
Wie soll man schon "mit halbwegs brauchbarer Zuverlässigkeit"
erkennen können, was der Möchtegern-Programmierer beabsichtigt
hat und was er dann stattdessen kodiert hat?
Die Sinnhaftigkeit eines Algorithmus kann man nun mal
nicht automatisch erkennen.
Was man wirklich immer sicher erkennen kann,
ist nur der erste (!) auftretende Syntaxfehler.
Für alle Folgenden sind schon heuristische
Methoden angesagt.
> Der Job des Compilers ist es, den vorliegenden Sourcecode fehlerfrei
> in ein Compilat zu verwandeln. Das ist z.T. schon schwierig genug.
Für den GCC auf jeden Fall, sonst würde er
nicht immer so lange dazu brauchen. :-)
Trollplonk
Mein Name ist Programm.
> Martin Holz schrieb am 23. April 2014 10:55
>
> > Ja, und? Compiler warnen regelmäßig vor Programmierfehlern.
>
> Das ist aber nicht ihre Hauptaufgabe und sie können das auch nicht
> einmal mit halbwegs brauchbarer Zuverlässigkeit tun.
Wie soll man schon "mit halbwegs brauchbarer Zuverlässigkeit"
erkennen können, was der Möchtegern-Programmierer beabsichtigt
hat und was er dann stattdessen kodiert hat?
Die Sinnhaftigkeit eines Algorithmus kann man nun mal
nicht automatisch erkennen.
Was man wirklich immer sicher erkennen kann,
ist nur der erste (!) auftretende Syntaxfehler.
Für alle Folgenden sind schon heuristische
Methoden angesagt.
> Der Job des Compilers ist es, den vorliegenden Sourcecode fehlerfrei
> in ein Compilat zu verwandeln. Das ist z.T. schon schwierig genug.
Für den GCC auf jeden Fall, sonst würde er
nicht immer so lange dazu brauchen. :-)
Trollplonk
Mein Name ist Programm.