Dialogues

Die elementarste Art von Ein- und Ausgabe in Gofer stellen die Dialogfunktionen dar. Leider ist diese Art des I/O recht unhandlich und konterintuitiv. I/O Funktionen werden als ein Dialog zwischen Programm und Betriebssystem modelliert. [O'D85] Dieser Dialog stellt sich dar als eine unendliche Liste von Anfragen an das Betriebssystem [Request] auf Seite des Programms als Kommunikationspartner und eine ebensolche Liste von Antwortmeldungen auf diese Anfragen des Betriebssystems [Response].
Wir haben also die zwei Listen:


als Teile unseres Kommunikationsprozesses, wobei jeweils die Antwort des Betriebssystems auf die Meldung des Programms sein sollen.

Gofer-Funktionen, die Daten einlesen oder ausgeben, müssen vom Typ Dialogue sein. Dialogue ist durch folgendes Typ-Synonym definiert:

	type dialogue = [Response] -> [Request]

        Success
        Str String
        Failure IOError

        WriteError String
        ReadError String
        SearchError String
        FormatError String
        OtherError String

• ReadFile string: Liest das File mit Namen string.
  Mögliche Antworten sind:
  • Str inhalt, falls das Lesen erfolgreich war. inhalt ist ein String, der den Inhalt des Files enthält.
  • Failure (SearchError name), falls der Name (name) des Files unbekannt ist
  • Failure (ReadError name), falls ein anderer Fehler beim Lesen des Files name auftritt
• WriteFile name string: Schreibt die Zeichenkette string in das File name (ein nichtexistierendes File wird erzeugt, ein existierendes wird überschrieben). Mögliche Responses sind:
  • Success, falls das Schreiben des Files erfolgreich war.
  • Failure (WriteError msg), falls das Schreiben nicht erfolgreich war. Trat der Fehler während des Öffnens des Files auf, so enthält msg den Namen des Files, sonst eine (druckbare) Fehlermeldung.
• AppendFile name string: Analog zu WriteFile mit dem Unterschied, dastring an ein existiernedes File name angehängt wird.
• ReadChan name: Liest den Inputstream name (z.B. stdin). Achtung: Es ist ein Fehler, mehr als einmal einen Inputstream zu lesen. Mögliche Responses sind:
  • Str contents, falls der Request erfolgreich war. contents (eine Zeichenkette) enthält die Eingabe.
  • Failure (SearchError name), falls ein unbekannter Inputstream angegeben wurde.
  • Failure (ReadError name), falls Inputstream schon einmal gelesen wurde.
• AppendChan name string: gibt die Zeichenkette string auf dem Channel name aus (z.B stdout, stderr, stdecho). Mögliche responses sind:
  • Success, falls der Request erfolgreich war.
  • Failure (SearchError name), falls der angegebene Channel unbekannt war.
  • Failure (WriteError msg), falls ein Fehler während des Schreibens auftrat. msg enthält dann eine druckbare Fehlermeldung.

	helloWorld :: Dialogue
	helloWorld resp = [AppendChan stdout "hello, World"]

	showFile :: String -> Dialogue
	showFile name ~(read:_) = [ReadFile name,AppendChan stdout result]
		where result = case read of Str contents -> contents
				Failure _ -> "Can't open " ++ name

moin ~(~Success: ~(~(Str zahl) : ~(~Success:[]))) =
          [AppendChan stdout "Geben Sie ein Zahl ein: ",
           ReadChan stdin,
           AppendChan stdout ("\n Das Quadrat von "
                            ++ (head (lines zahl))
                            ++ " ist: "
                            ++ ausgabe
                            ++ "!\n" )]
            where
             ausgabe = int2string ((string2int (head (lines zahl)))^2)