6.001

Rob Speer

You will soon have the power of λ.
You will soon have the power of λ.

This is Rob's 6.001 Section 0. The 0 stands for k0re. The class meets at 10 AM on Wednesdays and 12 PM on Fridays.

In this class, we'll be building on previous knowledge of programming, and getting into deeper things about abstract interpretation and the lambda calculus.

Go to the 6.001 tutor

Distribution of Quiz 2 grades
Enlarge
Distribution of Quiz 2 grades
[edit]

Recitation notes

  • /Recitation 1: Wednesday, February 8 - introduction, substitution model, recursion
  • /Recitation 2: Friday, February 10 - recursion, special forms, side effects
  • /Recitation 3: Wednesday, February 15 - de-sugaring, lambda calculus
  • /Recitation 4: Friday, February 17 - Church numerals, orders of growth
  • /Recitation 5: Wednesday, February 22 - lists, box-and-pointer diagrams
  • /Recitation 6: Friday, February 24 - let, quoting, lexical scope
  • /Recitation 7: Wednesday, March 1 - formal types, fold
  • /Recitation 8: Friday, March 3 - test review, miscellaneous stuff
  • No recitation on Wednesday, March 8!
  • /Recitation 9: Friday, March 10 - list and table lookup; Huffman encoding
  • /Recitation 10: Wednesday, March 15 - more Huffman encoding
  • /Recitation 11: Friday, March 17 - continuations and a quine
  • /Recitation 12: Wednesday, March 22 - generators using continuations
  • /Recitation 13: Friday, March 24 - garbage collection
  • /Recitation 14: Wednesday, April 5 - table implementations, purely functional data structures, red-black trees
  • /Recitation 15: Friday, April 7 - the environment model
  • /Recitation 16: Wednesday, April 12 - more environment model; search
  • Recitation 17: Friday, April 14 - the OO system; handout was from objsys.scm
  • /Recitation 18: Wednesday, April 19 - more OO, multiple inheritance
  • /Recitation 19: Friday, April 21 - simpler OO systems, test review
  • No recitation on Wednesday, April 26.
  • /Recitation 20: Friday, April 28 - dynamic scope, interpretation, Unlambda
  • /Recitation 21: Wednesday, May 3 - metacircular evaluator
  • /Recitation 22: Friday, May 5 - more evaluator details; static analysis
  • /Recitation 23: Wednesday, May 10 - register machines
  • /Recitation 24: Friday, May 12 - streams and lazy evaluation
  • /Recitation 25: Wednesday, May 17 - Y combinator (and friends)
[edit]

Looming Deadline of the Week

  • May 12: Project 5 due
Retrieved from "http://torg.media.mit.edu/rob/index.php/6.001"