Tuesday, January 26, 2010

Wed. 2010.01.27 lecture plan

How to say something constructive about abstract syntax trees?  You know how to build tree data structures; all the choices you face in the next phase depend on how those trees will be used. So, what I plan to do is start looking at type checking.   You might want to bring along a copy of the Cool manual, because what I'd like to do is sketch a few trees for small chunks of Cool code, and then look at how we read and interpret the Cool type-checking rules with respect to those trees.

If there are any last-minute questions about the midterm, that's also fair game. 

No comments:

Post a Comment