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: 
Weitere Referenzen: Wikipedia Compilerbau, Chaosradio Wiki: CRE 122
Naja, ich freue mich mal auf den morgigen Vortrag auf der Uni über Compilerbau
Recent Comments