Praktikum Funktionale Programmierung 10. Besprechung

Transkript

1 Praktikum Funktionale Programmierung 10. Besprechung Professur für Künstliche Intelligenz und Softwaretechnologie Sommersemester 2007

2 Meilenstein 3 Teil 6: Codeerzeugung, Compiler, Interpreter und VM 9. Juli (2 Wochen) Professur KIST, SoSe Praktikum Funktionale Programmierung, 10. Besprechung

3 Überlegen Sie sich eine einfache Repräsentation der Sprache CoreLFPCR als String und implementieren Sie im Modul LFPC.AbsM.CodeGen die Funktionen langtoascii :: CoreLFPCR -> String, die einen Ausdruck in einen String konvertiert. asciitolang :: String -> CoreLFPCR, die einen String in einen CoreLFPCR-Ausdruck konvertiert. Das wichtigste Kriterium beim Entwurf der Kodierung sollte sein, dass asciitolang nur lineare Zeit in der Länge des Strings verbraucht. Professur KIST, SoSe Praktikum Funktionale Programmierung, 10. Besprechung

4 Codierung (z.b.) Man kann z.b. den einzelnen Konstrukten wie, Applikation, Variable, Abstraktion usw. Buchstaben zuordnen. Dürfen nicht wie Variablennamen heißen! Z.B. App V λ letrec Cons case amb por A V L M C D B P Professur KIST, SoSe Praktikum Funktionale Programmierung, 10. Besprechung

5 Codierung (z.b.) Man kann z.b. mitspeichern wieviele Token man lesen muss. (Token sind durch Leerzeichen getrennt) Beispiele: langtoascii (App (V "x") "y") "A 2 V x y" langtoascii (App (Lambda "x" (V "x")) "y") "A 5 L x 2 V x y" ToAscii (Let ["x" :=: App (V "x") "y", "z" :=: V "x"] (V "z")) "M 11 x 5 A 2 V x y z 2 V x V z" ^ ^ - 11 Token fuer Bindungen - Let Professur KIST, SoSe Praktikum Funktionale Programmierung, 10. Besprechung

6 Der Compiler lfpcc main im Modul LFPC.Compiler.Main Quelltext aus Datei lesen Lexen, Parsen, Semantische Analyse Konvertierung CoreLFCPR und in String-Repräsentation. String in eine Datei schreiben. Professur KIST, SoSe Praktikum Funktionale Programmierung, 10. Besprechung

7 Der Compiler lfpcc Welche Datei lesen / schreiben? Parameter im Aufruf lfpcc -oexample.bin example.lfp Datei example.lfp lesen Stringrepräsentation in example.bin schreiben Datei lesen: readfile, Datei schreiben writefile Nützlich System.Environment (getargs) und evtl. auch System.Console.GetOpt (getopts). Compilieren des Moduls LFPC/Compiler> ghc -cpp -i:../.. --make -o lfpcc Main.lhs Professur KIST, SoSe Praktikum Funktionale Programmierung, 10. Besprechung

8 Die Virtuelle Maschine lfpcvm main im Modul LFPC.VM.Main liest ASCII-Darstellung aus Datei führt das Programm aus. Zufallszahl für rands: Funktion randomio+ aus der Bibliothek System.Random Dateinamen aus Umgebung Aufruf z.b. lfpcvm example.bin Professur KIST, SoSe Praktikum Funktionale Programmierung, 10. Besprechung

9 Interpreter lfpci main im Modul LFPC.Interpreter.Main Interaktive Umgebung Bibliothek System.Console.SimpleLineEditor benutzen zu Beginn des Programms initialise am Ende des Programm restore zwischendrin getlineedited :: String -> IO (Maybe String) Parsefehler abfangen: try, evaluate oder catch aus Control.Exception Professur KIST, SoSe Praktikum Funktionale Programmierung, 10. Besprechung