Page History

...

Week	Day	Date	Topic	Work Assigned	Work Due
1	Tu	Aug 22	Overview, Motivation
	Th	Aug 24	What are Types, Core Scala	Hwk 0
2	Tu	Aug 3029	—
	ThSep	01Aug 31	—
3	Tu	Sep 0605	Doubles, Programming with Intention, The Design Recipe
	Th	Sep 0807	Functions on Ranges, Point Values, Compound Datatypes
4	Tu	Sep 1312	Methods, Grading, DrScala
	Th	Sep 1514	Static Type Checking, Abstract Datatypes	Hwk 1
5	Tu	Sep 2019	Subtyping of Arrow Types, Exceptions*
	Th	Sep 2221	Abstract Datatypes 2, Recursively Defined Types*
6	Tu	Sep 2726	Recursively Defined Types 2, Functions as Values*
	Th	Sep 2928	Higher-Order Functions*	Hwk 2	Hwk 1
7	Tu	Oct 0403	Functions as Values, Parametric Types*
	Th	Oct 0605	"Growing a Language," Guy L. Steele, Jr.*
8	Tu	Oct 1110	MIDTERM RECESS
	Th	Oct 1312	Currying, Fold, Flatmap, and For Expressions*	Hwk 3	Hwk 2
9	Tu	Oct 1817	For Expressions, Monads, The Environment Model*
	Th	Oct 2019	Scala Collections Classes, Traits*
10	Tu	Oct 2524	Call-by-Name, Type Environments, Generative Recursion*
	Th	Oct 2726	Strategies for Generative Recursion*	Hwk 4	Hwk 3
11	Tu	Nov 01Oct 31	Accumulators*
	Th	Nov 0302	Functional Data Structures*
12	Tu	Nov 0807	Streams, State, Mutation*
	Th	Nov 1009	Mechanical Proof Checkin, The Curry-Howard Isomorphism*	Hwk 5	Hwk 4
13	Tu	Nov 1514	The State Monad*
	Th	Nov 1716	Additional Scala Features, Extractors, Parser Combinators*
14	Tu	Nov 2221	More Parser Combinators, Actors and Concurrency*	Hwk 6	Hwk 5
	Th	Nov 2423	THANKSGIVING
15	Tu	Nov 28	Functional Distributed Computing*
	ThDec	01Nov 30	Course Wrap Up		Hwk 6

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

Space shortcuts