CRE 122 Compilerbau und Typtheorie

Die genialste Chaosradio-Sendung, die ich bisher gehört habe.

Mag vielleicht daran liegen, dass ich momentan voll auf Programmiersprachen, Paradigmen, Compilerbau und Abstrakte Syntaxbäume stehe, aber die Sendung hat mir wirklich gut gefallen. Empfehlenswert für alle, die Ahnung von Programmiersprachen haben und auf der Metaebene nochmals etwas hören wollen. Meine proj.txt hat jetzt zahlreiche Projekte mehr auf der Liste :-)

Meine Stichwörter (gekürzt): Dylan, Loops formalisiert, Compiler = Programm zur Transformation von Quelltext in maschinenlesbaren Code, Parser und Lexer, 2D (Programmiersprache), AST: Reservierte Wörter und Operatoren als Knotenpunkte, Noam Chomsky, Haskell ersetzt Schleifen durch Rekursion, Zwischencode funktionaler Sprachen haben einfachen Zwischencode basierend auf dem Lambda Kalkül, Objekt-Kalkulus, Eigenschaften von funktionalen Sprachen, Seiteneffekte = Determinismus, Monaden helfen state zu verstecken, wohl typisiert, C++ erreicht funktionalen Programmieransatz durch Templates, “Lambda ist die anonyme Funktion. Das Lambda abstrahiert über beliebig viele Variablen”, Variablen + Abstraktion + Applikation, Airbags, Ada, Objektorientierung, parametrische und Datenpolymorphie, Typisierung, dynamischen Programmiersprachen speichern Typmetadaten mit, strongly vs weakly typed, Typenannotation, Typeninferenz, generische Funktionen, gcc und llvm stellen Werkzeuge zur Typenverarbeitung zur Verfügung, MacRuby, Oliver Steele, static vs dynamic languages, Benjamin Pierce, subtyping, Type-based race detection for Java, Ken Thompson 1984: Reflections on Trusting Trust, Backdoors im Compiler, expression problem, operator overloading, für Interessierte – versch. Programmiersprachen mit versch. Paradigmen lernen, lambda-the-ultimate, Beweissysteme mit Programmiersprachen verbinden, PLOT – Programming Language for Oldtimers, Makrosystem von PLOT, Compiler sind großteils in C implementiert
Bewertung: :-D
Weitere Referenzen: Wikipedia Compilerbau, Chaosradio Wiki: CRE 122

Naja, ich freue mich mal auf den morgigen Vortrag auf der Uni über Compilerbau :-)

Leave a Comment


NOTE - You can use these HTML tags and attributes:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>