Class Notes

These are the class note files, each has a rendered HTML version as well as a text file version (which can be more convenient for reading off-line and for quick search and reference). Note that the last two entries in this list are special: one has all of the notes we covered in one file, and one has the notes we have yet to reach.

Lecture #1 (text)     Tue, Jan 7	Intro to CS4400/CS5400
Lecture #2 (text)     Tue, Jan 7	Intro to Programming Languages Intro to Racket Side-note: “Goto Statement Considered Harmful” Quick Intro to Racket Lists & Recursion Some Style Tail calls Sidenote on Types Side-note: Names are important
Lecture #3 (text)     Tue, Jan 14	BNF, Grammars, the AE Language Simple Parsing The match Form The define-type Form The cases Form Semantics (= Evaluation) Side-note: Compositionality
Lecture #4 (text)     Tue, Jan 14	Implementing an Evaluator Implementing The AE Language Intro to Typed Racket Bindings & Substitution
Lecture #5 (text)     Tue, Jan 21	WAE: Adding Bindings to AE Evaluation of with
Lecture #6 (text)     Tue, Jan 21	Evaluation of with (contd.) Formal Specs Lazy vs Eager Evaluation de Bruijn Indexes
Lecture #7 (text)     Tue, Jan 28	Functions & Function Values Implementing First Class Functions Side-note: how important is it to have anonymous functions? The FLANG Language
Lecture #8 (text)     Tue, Jan 28	The FLANG Language (contd.) Introducing Racket’s lambda Using Functions as Objects Using define-type for new “type aliases” Currying Using Higher-Order & Anonymous Functions Side-note: “Point-Free” combinators This is not Runtime Code Generation
Lecture #9 (text)     Tue, Feb 4	Substitution Caches Implementation of Cache Functionality Formal Rules for Cached Substitutions Evaluating with Substitution Caches
Lecture #10 (text)     Tue, Feb 4	Dynamic and Lexical Scopes Dynamic versus Lexical Scope
Lecture #11 (text)     Tue, Feb 11	Implementing Lexical Scope: Closures and Environments Fixing an Overlooked Bug Lexical Scope using Racket Closures More Closures (on both levels) Types of Evaluators Feature Embedding
Lecture #12 (text)     Tue, Feb 11	Recursion, Recursion, Recursion Recursion without the Magic The Core of make-recursive Denotational Explanation of Recursion The Y Combinator The main property of Y Yet another explanation for Y Typing the Y Combinator [extra]
Lecture #13 (text)     Tue, Feb 18	Lambda Calculus — Schlac Church Numerals More Encodings Alternative Church Encoding Implementing define-type & cases in Schlac
Lecture #14 (text)     Tue, Feb 18	Recursive Environments Recursion: Racket’s letrec Implementing Recursion using letrec
Lecture #15 (text)     Tue, Feb 25	Implementing rec Using Cyclic Structures Boxes and Mutation
Lecture #16 (text)     Tue, Feb 25	Types for Boxes Boxof’s Lack of Subtyping Implementing a Circular Environment
Lecture #17 (text)     Tue, Feb 25	Variable Mutation State and Environments Implementing Objects with State The Toy Language
Lecture #18 (text)     Tue, Mar 11	Compilation
Lecture #19 (text)     Tue, Mar 11	Is this really a compiler?
Lecture #20 (text)     Tue, Mar 18	Lazy Evaluation: Using a Lazy Racket Lazy Evaluation: Some Issues Lazy Evaluation: Shell Examples Lazy Evaluation: Programming Examples
Lecture #21 (text)     Tue, Mar 18	Side Note: Similarity to Generators and Channels Call by Need vs Call by Name Example of Feature Embedding Implementing Laziness (in plain Racket) Sloth: A Lazy Evaluator
All notes (text)     Tue, Mar 18	All class notes in a single file, convenient for searching through all of the material that we covered.
Future notes (text)     Wed, Mar 19	All future class notes, in a single file. In case you want to read ahead in the material. Note that notes can change when we go over them in class.

Handouts

• Email and Piazza Policies: Guidelines for writing posts
• Style Guide: Guidelines for writing better code
• Tips: Useful tips for PL work
• FAQ: Common frequently asked questions
• #lang pl work vs Fundies: Work with #lang pl vs Fundies
• About PLQ: What are these PLQs?

Interpreters

• ae.rkt — The AE interpreter (Lecture #4)
• wae.rkt — The WAE interpreter (Lecture #5)
• flang.rkt — The Flang interpreter (Lecture #8)
• flang-env.rkt — The Flang interpreter, using environments (Lecture #11)
• church.rkt — Making Schlac into a practical language (not an interpreter) (Lecture #13)
• church-alternative.rkt — An alternative “Church” encoding: use lists to encode numbers (Lecture #13)
• flang-box.rkt — The FLANG-BOX interpreter (Lecture #16)
• toy.rkt — The TOY interpreter (Lecture #17)