Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Lecture 01: 2018-08-21

...

Week

Day

Date

Topic

Work AssignedWork Due

1

Tu

Aug 21

Overview, Motivation*

  
 ThAug 23What are Types, Core Scala*Hwk 0 

2

Tu

Aug 28

—*

  
 ThAug 30—*  

3

Tu

Sep 04

Doubles, Programming with Intention, The Design Recipe*

  
 ThSep 06Functions on Ranges, Point Values, Compound Datatypes*  

4

Tu

Sep 11

Methods, Grading, DrScala*

  

 

Th

Sep 13

Static Type Checking, Abstract Datatypes*

Hwk 1 

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*

Hwk 2Hwk 1

7

Tu

Oct 02

Covariance and Contravariance, ...*  

 

Th

Oct 04

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

  

8

Tu

Oct 09

MIDTERM RECESS*

  

 

Th

Oct 11

Type Hierarchy, Overrides, Exceptions, Operators*

Hwk 3Hwk 2

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*

Hwk 4Hwk 3

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*

Hwk 5Hwk 4

13

Tu

Nov 13

The State Monad*

  

 

Th

Nov 15

Additional Scala Features, Extractors, Parser Combinators*

Hwk 5 
14TuNov 20More Parser Combinators, Actors and Concurrency*Hwk 6 (Optional) 

 

Th

Nov 22

THANKSGIVING*

  

15

Tu

Nov 27

Functional Distributed Computing*

  
 ThNov 29Videos: What to Leave Implicit and Impromptu* Hwk 5 & 6
16TuDec 04Study Days (no classes)*  

 

?

???

Final Exam

  

...