Statistik

Das Statistik Modul erstellt eine Statistik und vergibt Punkte für die Einsendungen. Punkte gibt es für Aufgabenstellungen und jeweils die ersten 10 korrekten Beweise. Der Gesamtwert einer Aufgabe ist von der Anzahl der Einsendungen und der durchschnittlichen Lösungszeit abhänig. Es gibt mehr Punkte, umso schwieriger eine Aufgabe ist, d.h. bei hoher Lösungszeit. Aber die Aufgaben sollen nicht unlösbar sein, deshalb steigt der Wert einer Aufgabe mit der Anzahl der korrekten Lösugen.
Der Aufgabensteller erhält einen Teil des Gesamtwertes seiner Aufgabe. Die Lösungen bekommen die Punkte gestaffelt nach Platz und Lösungszeit.

Die Grundlage des Statistik-Moduls bilden die Korrekturergebnisse der Einsendungen, dabei werden folgende Module verwendet:

• Web.Html: für die Erzeugung der Webseite mit der Statistik
• Web.StatistikKonfiguration: die Bewertungsfunktionen und Konfiguration für das Statistik-Modul
• Web.Konfiguration: allgemeine Konfiguration, vor allem Ausgabeverzeichnis für die Webseiten
• Challenger, Problems, Beweise, Instanzen: für das Einlesen der Einsendungen und der Korrekturergebnisse, auf deren Grundlage die Statistik erstellt wird
• Locale, Time, Zeit: für die Bestimmung der Zeitdifferenzen zwischen den Einsendungen

Die wichtigste Funktion des Statistik-Modul ist ''problemStatistik'' String-> IO (). Dieser Funktion wird der Name des Problems als String übergeben. Die Funktion benutzt Instanzen.getAlleNachString, um alle Instanzen dieses Problems einzulesen. Dann wird in der Funktion instanzStatistik für jede Instanz eine einzelne Statistik mit Hilfe von Beweise.getAlleNachString erstellt. Hier findet auch die Bewertung der Einsendungen entsprechend deren Zeitpunkt statt. Für genauere Informationen siehe Statistik.hs.