Page History

...

Week	Day	Date	Topic	Work Assigned	Work Due
1	Tues	Aug 2322	Overview, Motivation
	ThurThurs	Aug 2524	What are Types, Core Scala	Hwk 0
2	Tues	Aug 30	Doubles, Programming with Intention, The Design Recipe
	Thurs	Sep 01	Functions on Ranges, Point Values, Compound Datatypes
3	Tues	Sep 06	Methods, Grading, DrScala
	Thur	Sep 08	Abstract Datatypes*	Hwk 1
4	Tues	Sep 13	Subtyping of Arrow Types, Exceptions*
	Thur	Sep 15	Abstract Datatypes 2, Recursively Defined Types*
5	Tues	Sep 20	Recursively Defined Types 2, Functions as Values*
	Thurs	Sep 22	Higher-Order Functions*	Hwk 2	Hwk 1
6	Tues	Sep 27	Functions as Values, Parametric Types*
	Thur	Sep 29	Currying, Fold, Flatmap, and For Expressions*
7	Tues	Oct 04	For Expressions, Monads, The Environment Model*
	Thurs	Oct 06	"Growing a Language," Guy L. Steele, Jr.*	Hwk 3	Hwk 2
8	Tues	Oct 11	MIDTERM RECESS
	Thur	Oct 13	Scala Collections Classes, Traits*
9	Tues	Oct 18	Call-by-Name, Type Environments, Generative Recursion*
	Thur	Oct 20	Strategies for Generative Recursion*	Hwk 4	Hwk 3
10	Tues	Oct 25	Accumulators*
	Thur	Oct 27	Functional Data Structures*
11	Tues	Nov 01	Streams, State, Mutation Mutation*
	Thur	Nov 03	Mechanical Proof Checkin, The Curry-Howard Isomorphism*	Hwk 5	Hwk 4
12	Tues	Nov 08	The State Monad*
	Thur	Nov 10	Additional Scala Features, Extractors, Parser Combinators*
13	Tues	Nov 15	More Parser Combinators, Actors and Concurrency*
	Thur	Nov 17	Tactical Theorem Proving*	Hwk 6	Hwk 5
14	Tues	Nov 22	Project Fortress*
	Thur	Nov 24	THANKSGIVING
15	Tues	Nov 28	Functional Distributed Computing*
	Thur	Dec 01	Course Wrap Up		Hwk 6

* Lectures slides not yet updated from last year are marked with an asterisk.

Space shortcuts