Pavel Panchekha
| Jan/23 | Wed | 07:00PM-09:00PM | 4-231 |
Enrollment: Unlimited: No advance sign-up
Prereq: Strong experience programming
At some point in the early fifties, a bright chap had the idea of replacing inscrutible numbers with mnemonics and syntax: assembler was invented, and the idea of a programming language was born. Today, the field of programming languages is vaster and richer than ever before: functional, object-oriented, distributed, typed, dynamic, logic, and metasyntactic languages all vie for attention. This class will cover the main ideas of modern language design: typing, macros, constraint-solving, proofs and correctness, and extensibility and dynamism. Some implementation ideas will be discussed, but mostly the focus will be on these ideas from the point of view of the language designer and researcher, not from the point of view of the compiler and interpreter writer.
Sponsor(s): Student Information Processing Board, Electrical Engineering and Computer Science
Contact: Pavel Panchekha, sipb-iap-language@mit.edu