Haskell compact

Die praktischen Übungen finden in den Sun-Ray-Pools (HG 1-??) statt.

Der Kurs besteht aus mehreren Blöcken, jeder Block aus ca. 30 Minuten Einweisung und ca. 90 Minuten selbständiger Arbeit.

Aktuelles

export GHCBIN=/usr/local/share/ghc/bin
export HUGSBIN=/usr/local/share/hugs/bin

export PATH=$GHCBIN:$HUGSBIN:$PATH:.

Das File Foo.hs enthält ein Hauptprogramm, das "main" heißen und vom Typ "IO ()" sein muß.

module Main (main) where
...
main :: IO ()
main = ...

ghc --make -o Foo Foo.hs

hugs -98 -P/usr/local/share/hugs/lib/text/parsec:   Position.hs

ghc ... -syslib text

• Sprach-Definition
• Library-Definition
• ghc-spezifische Bibliotheken (einige auch in Hugs vorhanden)

Freitag (16 - 18)

• hugs benutzen
• Programme und Ausdrücke
• Funktionen auf Listen

• Collatz-Folge
• Splits, Permutationen,
• Partitionen
• Selektionen, verstreute Teilwörter
• Lotus-Spiel

Freitag (19 - 21)

• Funktionen höherer Ordnung
• unendliche Listen

• Fibonacci-Zahlen
• Lückenfolge
• Primzahlen, Faktorisierung
• Pascalsches Dreieck, Teilsummen

Sonnabend (10 - 12)

• nutzerdefinierte Daten

• Taxinummer
• Subtraktionsspiele,
• binäre Bäume,
• Patricia-Trees, Lösung zu insert_and_lookup
• Perioden in Subtraktionsspielen,
• Aufgabe dazu

Sonnabend (14 - 16)

• do-Notation (für Listenmonade)
• mehr zu Bäumen

• Terme, nochmal Terme, Positionen
• Term-Darstellung (Bibliothek Pretty: Interface, Beschreibung)
• Substitutionen (Bibliothek FiniteMap: Interface),
• Term-Ersetzungs-Systeme
• Anwendungen: Rechnen mit Zahlen, Kombinatorische Logik".

Sonnabend (17 - 19)

• File-Operationen
• ghc/runhugs benutzen
• Typklassen
• Module
• IORefs

• cat und wc simulieren
• Skript/Shell-Programmierung
• Size.hs, RE.hs
• Klasse für Neutrale Spiele, eine Instanz dieser Klasse
• Spielwerte mit Cache

Sonntag (10 - 12)

• mehr Klassen und Instanzen
• Read-Klasse, Parser-Monade
• Parser-Kombinatoren

• Haskell-Emacs-Mode (temporary hack) das File /home/joe/.emacs in das eigene Home kopieren
• Parsec benutzen:

  hugs -98 +o -P/usr/local/share/hugs/lib/text/parsec:   Term.hs
  

• Haufen-Spiel, Summen von Spielen, Summe von Wythoff und Haufen.
• Terme-Parser (Bibliothek Parsec: Beschreibung (Vorsicht! local installiert ist ältere Version 2) My_Tokens.hs
• reguläre Ausdrücke parsen (zu autotool)

Sonntag (14 - 16)

• Sockets, Nebenläufigkeit
• GUIs

• Sockets, Chat.hs (siehe Spielserver, Protokoll-Definition)

  beachte: Sockets-Programme gehen mit ghc-5.02 nicht, benutze /home/joe/built/bin/ghc-5.00.2

• Nebenläufige Prozesse: Conc.hs
• GUIs (FranTk) (Bibliotheks-Webseite): Lotus (einfach), Lotus (Spielbaum)