MASSACHVSETTS INSTITVTE OF TECHNOLOGY 6.001: Structure and Interpretation of Computer Programs Staff Notes Week of 13 April 1998 Tuesday, 14 April 1998, Lecture 18 -- Hal This lecture reviews the idea of a unverisal machine and briefly mentions the analyze evaluator and normal-order evaluation. The bulk of the lecture is on Turing and the Halting Theorem. Wednesday, 15 April 1998, Recitation You have today and the next two recitations to cover the evaluator: sections 4.1 and 4.2. Note that there are no tutorials next week, so you'll have to make up for that in recitation. Probably today the right thing is to do some real evaluator examples: how to implement new special forms, derived expressions, perhaps some of the fine points about internal definitions and the like (e.g, section 4.1.6). But, in addition to this, you should cover the analyze evaluator and the normal order evaluator, which were barely mentioned in Tuesday's lecture. Do good coverage of section 4.2.3 which is both a review of streams and a look at a non-trivial mod to the evaluator. Section 4.3 will be the topic of lecture on April 23rd, so don't' discuss this until April 24. Thursday, 16 April 1998, Lecture 19 -- Guy Steele Java You may want to (try to) relate what Guy says to the evaluator material, such as the object-oriented stuff they are working on for PS10. Friday, 17 April 1998, Recitation Wednesday, 22 April 1998, Recitation (more time to cover evaluation, analyze evaluator, normal order) Note: Course evaluations will be conducted IN RECITATION, at the beginning of the hour, on April 24.