Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

ThursAug 31 05Thur 074 12 145 19 216Sep 26 Currying, Fold, Flatmap, and For Expressions7 04For Expressions, Monads, The Environment Model* 06 "Growing a Language," Guy L. Steele, Jr.8 11MIDTERM RECESS 139 18 2010Oct 25Oct 2711 01 03 08 1013Tu 15* Tactical Theorem Proving

Week

Day

Date

Topic

Work AssignedWork Due

1

Tu

Aug 22

Overview, Motivation

  
 ThAug 24What are Types, Core ScalaHwk 0 

2

Tu

Aug 2930

  
 ThursSep 01  

3

Tu

Sep 06

Doubles, Programming with Intention, The Design Recipe

  
 ThurSep 08Functions on Ranges, Point Values, Compound Datatypes*  3

4

Tu

Sep

13

Methods, Grading, DrScala*

  

 

Th

Sep

15

Abstract Datatypes*

Hwk 1 

5

Tu

Sep

20

Subtyping of Arrow Types, Exceptions*

  

 

Th

Sep

22

Abstract Datatypes 2, Recursively Defined Types*

  

6

Tu

Sep

27

Recursively Defined Types 2, Functions as Values*

  

 

Th

Sep

29

Higher-Order Functions*

Hwk 2Hwk 1

7

Tu

Oct 04

Functions as Values, Parametric Types*  

 

Th

Sep 28

Oct 06

"Growing a Language," Guy L. Steele, Jr.*

  

8

Tu

Oct

11

MIDTERM RECESS

  

 

Th

Oct

13

Currying, Fold, Flatmap, and For Expressions*

Hwk 3Hwk 2

9

Tu

Oct

18

For Expressions, Monads, The Environment Model* 

 

 

Th

Oct

20

Scala Collections Classes, Traits*

  

10

Tu

Oct

25

Call-by-Name, Type Environments, Generative Recursion*

  

 

Th

Oct

27

Strategies for Generative Recursion*

Hwk 4Hwk 3

11

Tu

Nov 01

Accumulators*

  

 

Th

Nov 03

Functional Data Structures*

  

12

Tu

Nov

08

Streams, State, Mutation*

  

 

Th

Nov

10

Mechanical Proof Checkin, The Curry-Howard Isomorphism*

Hwk 5Hwk 412

13

Tu

Nov

15

The State Monad*

  

 

Th

Nov

17

Additional Scala Features, Extractors, Parser Combinators*

  
14TuesNov 22More Parser Combinators, Actors and Concurrency  

 

Th

Nov 17

*Hwk 6Hwk 514TuesNov 22Project Fortress*  

 

Th

Nov 24

THANKSGIVING

  

15

Tu

Nov 28

Functional Distributed Computing*

  
 ThurDec 01Course Wrap Up Hwk 6

...