compiler-campusminden / cb-vorlesung-master Goto Github PK

Scheinbar funktioniert die alte Referenz auf das CC-Lizenz-Logo nicht mehr (richtig): Bei direktem Aufruf wird der CC-BY-SA-Button ohne Probleme angezeigt, eingebettet in eine Webseite dagegen nicht (mehr/immer).

Hier sind die aktuellen Links zu finden: https://creativecommons.org/mission/downloads/

Zu aktualisieren:

• Readme.md
• static/licenses.md
• static/links.md
• alle Dokumente (lecture, homework, admin)
• ILIAS (Kursraum im offenen Bereich, Semester-Kursraum)

• PO18: mdl. Prüfung: Mi, 07.02.
• PO23: mdl. Prüfung als letzte Station der Parcour-Prüfung: Fr, 09.02.

• ILIAS: Etherpad
• Orga => Lernmodul
• Discussions
• Mail

• Bachelor: Abgleich der Themen mit Nelsons Vorlesung
• Master: Abgleich der Themen mit CS 6120 (Cornell), KAIST CS420 und IUCompilerCourse und IUCompilerCourse: Essentials-of-Compilation

It would be a really cool feature to be able to download the module dates as a .ics file to import them into a calendar.

(if my time allows it I will try to propose an implementation)

Achtung, mosern auf hohem Niveau :)
Die Erklärung des Memoizing ist super aber teilweise etwas unzugänglich aufgrund der vielen Abkürzungen und der handschriftlichen Darstellung des Pseudocodes auf dem Bild.
Beispiele:

• def def()
• def fun() (list für kotlin Programmierer fast das gleiche wie def def()^^)
• fdef
• fdecl
• def decl()

In vielen Kursen wird zwischen "konkreter" und "abstrakter" Syntax unterschieden und sogar extra Grammatiken definiert. Damit hat man dann auch eine natürliche Unterscheidung zw. Parse-Tree und AST.

Zumindest sollten wir den Begriff "AST" nochmal präzise(r) definieren.

Die HSBI Vorlesungsseite ist hinter dem aktuellen Stand der Main Branch. Die Änderungen aus #135 #137 sind nicht zu sehen

Das aktuelle Tooling analysiert alle Links und lokalen Abbildungen in den von einer Startdatei aus verlinkten Dokumenten und erstellt daraus entsprechende Anweisungen für das Makefile zum Kopieren und Einbinden der Dateien.

Bei Abbildungen und Links in den Meta-Daten (YAML-Header) funktioniert dieser Mechanismus nicht!

• Abbildungen im YAML: Hier müssen absolute Links in das Repo auf die Raw-Datei für die Abbildungen eingesetzt werden.
• Links im YAML: Die Verlinkung auf andere Markdown-Dateien funktioniert derzeit leider gar nicht, da die Dateien vom Tooling verschoben werden. Dazu müsste das Tooling erweitert werden.

Allerdings ist als nächster Schritt geplant, die Hugo-Templates durch Pandoc-Templates abzulösen, wodurch sich diese Probleme dann von selbst erledigen würden. (see cagix/pandoc-lecture#165)

Edit: Betrifft neben dem Feld challenges: auch tldr:.

each group could (very!) briefly present the most important aspect of the last week

• at the begin of every lecture
• make use of "free working" slots

Es wäre gut, wenn es in der Vorlesung (und auf den Übungsblättern und den begleitenden Dokumenten) eine klare Unterscheidung zw. "Expression" (Ausdruck) und "Statement" (Anweisung) geben würde inkl. einer Definition o.ä. ...

Siehe auch https://github.com/Compiler-CampusMinden/Mini-Python/pull/87

Zur Interpretation/Compilation von Lambdas und Currying und Fangen von Closures fehlt noch Vorlesungsmaterial.

Das Modul wird im Winter 2024 vor allem als neues Wahlmodul mit 10 ECTS angeboten (doppelter Umfang).

Zusätzlich werden ab dem Winter 2027 Studierende teilnehmen, die dann bereits Compilerbau als Pflichtveranstaltung im Bachelor hatten.

Aktuell gehen wir in der VL klassisch die Bausteine der Pipeline durch und betrachten pro Block jeweils ein bis mehrere Ideen/Konzepte plus die Theorie dazu. Im Praktikum erstellt die Gruppe einen Java-Compiler und eine -VM. Am Ende des Semesters halten die Studierenden noch einen Vortrag zu einem fortgeschritteneren Thema.

Das Vorgehen skaliert recht gut, i.d.R. ist ein Thema äquivalent zu einer Sitzung, man kann Themen leicht austauschen. Nachteil ist, dass man einen deutlich langen theoretischen Vorlauf braucht, bis die Studis etwas praktisch umsetzen können und dass sie erst gegen Ende des Semesters eine lauffähige Pipeline in den Händen halten - Themen wie VM und Garbage Collection kommen sogar bisher nur am Rande vor.

Im (Online-) Buch und Kurs Essentials of Compilation wird das anders gemacht: Nach einer kurzen initialen Phase (Grammatik, Parsing) wird eine einfache komplette Pipeline für Integer-Expressions aufgebaut. In der folgenden Sitzung wird diese ergänzt um Variablen, danach Funktionen, Klassen, ... Dabei werden dann die jeweils relevanten Konzepte (Semantische Analyse, Typprüfung/-inferenz, Optimierung, Registerzuweisung, Garbage Collection, ...) schrittweise in den jeweiligen Lektionen untergebracht. (Video ACM SIGPLAN / ICFP'23)

Dadurch hat man jede Woche einen lauffähigen Interpreter/Compiler in der Hand und erweitert die Konzepte quer über die Compiler-Pipeline. Zusätzlich kommen hier Aspekte verschiedener Programmierparadigmen mit rein.

Das lässt sich gut mit dem Vorgehen im Kurs CS6120 an der CMU kombinieren. Hier halten die Studis zu verschiedenen fortgeschrittenen Themen einen eigenen Vortrag plus leiten die Sitzung/Diskussion und schreiben eine kurze Zusammenfassung als Blog. Mit dem Vorgehen von Essentials of Compilation könnte man so in den letzten zwei Dritteln des Semesters entsprechende ergänzende Vorträge einbauen, die so kontinuierlicher sind als die aktuellen Block-Vorträge am Semesterende.

Nach Möglichkeit würde ich gern schrittweise auch PLFA teilweise mit integrieren (theoretische Konzepte von Programmiersprachen) und EOPL und auch die Typen/Typsysteme (TPL: Benjamin Pierce). Das ist vermutlich eher perspektivisch zu sehen, wenn irgendwann Studis mit CB-Hintergrund kommen und man die Basics nicht nochmal komplett machen muss.

Ein weiterer interessanter Aspekt: Welche Sprache wollen wir parsen/interpretieren/kompilieren, und in welcher (Implementierung s-) Sprache soll es umgesetzt werden? Im Unterschied zum Bachelor-Modul sollte mehr Theorie (Grammatik, Parsing (LR/LALR), Optimierung) mit reinkommen, zusätzlich fortgeschrittenere Aspekte wie VM/Bytecode, Typ-Systeme, MLIR, ...

Auch interessant: CSE 40243 - Compilers and Language Design mit Online-Buch

Siehe auch Compiler-CampusMinden/CB-Vorlesung-Bachelor#243

Die Skizze des AST-Interpreters ist aktuell eine eval()-Methode mit einem switch/case-Konstrukt für den Typ des Knotens und entsprechendem Dispatch auf die Hilfseval-Methoden.

Es wäre gut, hier noch einen Ansatz zu zeigen, wo es überladene eval()-Methoden gibt, wo bereits beim Aufruf mit einem AST-Knoten die richtige Methode durch die Implementierungssprache ausgewählt wird.

Im Skript findet sich für die Auflösung von Namen dieser Code-Schnipsel:

Ist dies wirklich korrekt? In der Diskussion zum Beispiel für die Sprechstunde

    package a.b;

    import u.Y;

    class X extends Y {
        int f(int x) {
            int x,y;
            { int x; x - y + 1; }
            x = y + 1;
        }
    }

    class Z {
        class W extends X {
            int x;
            void foo() { f(34); }
        }
        int x,z;
        int f(int x) {
            int y;
            y = x;
            z = x;
        }
    }

kamen Zweifel auf?

https://arxiv.org/abs/2002.11054
https://llvm.github.io/clangir/

auch: sampsyo/cs6120#419

Es gab in 2022 viel Diskussion um Edge-Cases und wie weit die Grammatik bzw. der Parser der Studis reichen soll. Die Frage ist berechtigt - man könnte entweder ganz genau Dinge beschreiben oder sogar mit einer Grammatik vorgeben (was nicht im Sinne der Aufgabe wäre!) oder über Testfälle gehen (was auch umständlich ist).

Letztlich sollten die Expressions "funktionieren": Binäre und unäre Expressions sowie die üblichen Vorrangregeln. Letztere könnte man ggf. noch verlinken ....

Das prinzipielle Error-Handling in ANTLR wurde demonstriert.

Es wäre schön, noch ein Beispiel für die eigene Fehlerbehandlung zu haben: Error-Listeners und Error-Nodes im Parse-Tree.

Einstieg in die Diskussion:

• https://stackoverflow.com/questions/64627548/antlr-best-practice-for-finding-and-catching-parse-errors
• https://stackoverflow.com/questions/36232361/how-to-walk-the-parse-tree-to-check-for-syntax-errors-in-antlr
• https://stackoverflow.com/questions/64689420/antlr4-errors-not-being-reported-to-custom-lexer-parser-error-listeners

Es gibt einen Übersetzungsservice der FH: https://www.fh-bielefeld.de/internationales/ueberuns/uebersetzungsservice ... Dort scheint es ein System zu geben, was man halbautomatisch mit Textdateien füttern kann und was wohl besser als DeepL zu sein scheint.

• ILIAS: Etherpad
• Orga => Lernmodul
• Discussions
• Mail

• Was muss ich lokal alles wo installieren?
• Wie baue ich das Material, d.h. wie nutze ich die Pandoc-Lecture GitHub-Action lokal?

siehe cagix/pandoc-lecture#70

• ILIAS: Etherpad
• Orga => Lernmodul
• Discussions
• Mail

At the end of the semester, we should certainly organise a post mortem where the individual groups can share their experiences (and knowledge) with each other once again (suggestion by @jnamaral).

Semesterumfrage erstellen (ILIAS), freischalten und Studis informieren