Versions Compared

Key

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

...

Week

Day

Date

Topic

Work AssignedWork Due

1

Tu

Aug 21

Overview, Motivation

  
 ThAug 23Computation by Reduction, TypesHomework 0 

2

Tu

Aug 28

Core Scala, Doubles, Error Conditions

  
 ThAug 30Programming with Intention, The Design Recipe  

3

Tu

Sep 04—*

Conditionals, Functions on Ranges & Point Values, Compound Data

  
 ThSep 06Functions on Ranges, Point Values, Compound Datatypes*Homework 1Homework 0

4

Tu

Sep 11

Methods, Grading, DrScala*

  

 

Th

Sep 13

Static Type Checking, Abstract Datatypes*

  

5

Tu

Sep 18

Abstract Datatypes 2, Recursively Defined Types*

  

 

Th

Sep 20

Recursively Defined Types 2, Functions as Values*

  

6

Tu

Sep 25

1st-Class Functions, Imports, Variable & Named Args*

  

 

Th

Sep 27

Exceptions, String Formatting, Generic Types*

  

7

Tu

Oct 02

Covariance and Contravariance, ...*  

 

Th

Oct 04

... Currying, Fold, Flatmap, and For Expressions*

  

8

Tu

Oct 09

Midterm Recess (no classes)

  

 

Th

Oct 11

Type Hierarchy, Overrides, Exceptions, Operators*

  

9

Tu

Oct 16

For Expressions, Monads, The Environment Model*  

 

Th

Oct 18

Scala Collections Classes, Traits*

  

10

Tu

Oct 23

Generative Recursion*

  

 

Th

Oct 25

Strategies for Generative Recursion*

  

11

Tu

Oct 30

Accumulators*

  

 

Th

Nov 01

Functional Data Structures*

  

12

Tu

Nov 06

Streams, State, Mutation*

  

 

Th

Nov 08

Mechanical Proof Checkin, The Curry-Howard Isomorphism*

  

13

Tu

Nov 13

The State Monad*

  

 

Th

Nov 15

Additional Scala Features, Extractors, Parser Combinators*

  
14TuNov 20More Parser Combinators, Actors and Concurrency*  

 

Th

Nov 22

Thanksgiving Holiday (no classes)

  

15

Tu

Nov 27

Functional Distributed Computing*

  
 ThNov 29Videos: What to Leave Implicit and Impromptu*  
16TuDec 04Study Day (no classes)  

 

?

???

Final Exam

  

...