|
Dieser Seminarvortrag behandelt die Realisierung eines Typsystems für
dynamisch erzeugte Web-Dokumente. Beim Generieren von Antwortseiten aus
einem Web-Formular (Suchmaschine, Online-Shopping, etc) und vor allem beim
Hintereinanderschalten mehrerer Formulare, kann es bei
"herkömmlicher" Programmierweise (z.B. Perl) passieren, dass
Formularfelder nicht mehr mit den vom Programm erwarteten Eingaben
zusammenpassen. Durch disziplinierte Programmierung lässt sich das
natürlich vermeiden, aber das hier vorgestellte Typsystem, welches in der
Programmiersprache <bigwig> verwendet wird,
macht es praktisch unmöglich sich selber solche "Fallen" zu
bauen. Es ist ein statische Typsystem, das zur Kompilationszeit des Programms
alle möglichen Programmflüsse analysiert und erzeugte Formularfelder
mit den erwarteten Eingabetypen abgleicht. Der Vortrag hält sich eng an das Konferenzpapier der POPL 2000 in Boston, auf der dieses Typsystem zum ersten Mal vorgstellt wurde.
Literatur
|
|