6.037 - Structure and Interpretation of Computer Programs [2019]

NOTE: This class is not currently being offered. Below you'll find a snapshot of this page from the end of the IAP 2019 session. Feel free to use the materials here to self-study.

Introduction

This fast-paced course covers the material in the classic book Structure and Interpretation of Computer Programs — a class previously known at MIT as 6.001. It uses Scheme to introduce students to principles of computation, and to teach thought patterns for computer science. Students are taught to apply structural, procedural, and meta-linguistic abstraction to solve computational problems. Five projects will be assigned and graded. Prerequisites: some programming experience; high confusion threshold.

This class is not meant as an introduction to programming; some programming experience is assumed.

If you have little to no experience with programming, we suggest 6.145, 6.178, or other non-credit offerings listed in the IAP guide.

6.037 focuses on higher-level concepts and abstraction in Scheme, an interesting but esoteric language which is infrequently seen in the wild; The language is light on practicality, but lends itself well to discussing computational theory. The class attempts to cram the entire material of a semester-long MIT course into eight two-hour lectures, with accompanying individual weekly projects, and as such is rather information-dense.

Your tour guides for this adventure are: Mike Phillips, Benjamin Barenblat, Leon Shen, Ben Vandiver, and Arthur Migdal. To contact them, you can email 6.001-zombies at the obvious domain.

Logistics

Class meets TR7-9pm throughout IAP 2019, in 32-044

6 units of P/D/F credit are available; only the projects are graded.

To sign up for the class e-mail list for IAP 2019 so you don't miss important announcements, use this form.

Projects

There will be five projects assigned. Projects should be saved as plain text, and emailed to 6.037-psets at the obvious domain.

Project 0: Basic scheme. Due by 7pm on Thursday, January 10th. Handout Code: simple-integration.scm

Project 1: Higher-order procedures and symbols. Due by 7pm on Tues, January 15th. Handout Code: calculus.scm

Project 2: Mutable objects and procedures with state. Due by 7pm on Thurs, January 17th. Handout Code: memoize.scm, table-tests.scm

Project 3: Meta-circular evaluator. Due by 10pm on Thurs, January 24th. Handout Code: eval.scm

BONUS Project 3 addendum (ungraded) -- Debugger

Handout



Code: eval-debugger.scm

Project 4: OOP evaluator (The Adventure Game). Due by 10pm on Fri, February 1st. Handout p4-scheme-files.zip - all of the scheme files below Code: oo-eval.scm - Run this from DrRacket; rest will be pulled in Code: oo-eval-extras.scm Code: alyssa-tests.scm Code: oo-world.scm Code: oo-types.scm Code: oo-util.scm



Lectures

Slides presented in class will be linked below. For each, we've noted which SICP chapters and which Spring 2007 6.001 lectures we've drawn the material from, in case you want to delve deeper, get a second opinion, read ahead, etc. Please note that the book covers a lot of additional material, and we are mostly tracking the 6.001 lectures, not the textbook.

Resources

Racket (previously DrScheme), the scheme evaluator we will be using Also available on Athena machines: add drracket; drracket For language selection, select "The Racket Language" (a.k.a. "Determine language from source"). Hit the Show Details button, and set the Output Style to "write." Use the Language menu to make these changes.

Structure and Interpretation of Computer Programs, the textbook written for 6.001. A PDF version (courtesy of github.com/sarabander/sicp-pdf) is also available.

The Revised5 Report on the Algorithmic Language Scheme: PDF | HTML

Getting help

You can e-mail the course staff at: 6.001-zombies at the obvious domain.

Students are also welcome to join the staff on Zephyr, MIT's messaging system. Subscribe to the class named "6.037". If you're new to Zephyr, we recommend the excellent Barnowl Zephyr client.

Acknowledgments

Since this course is a heavily condensed version of 6.001, we owe thanks to all who have ever taught or otherwise supported 6.001 over its long run. While these people are too numerous to list here, there are definitely some names we would be remiss to omit: