Versions Compared

Old Version 9

changes.mady.by.user Nick Vrvilo

Saved on

compared with

New Version 10

changes.mady.by.user Nick Vrvilo

Saved on

Key

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

...

Instructors

Dr. Nick Vrvilo (2σ)

Dr. Corky Cartwright

Graduate TAs
  • Yao-Hsiang Yang
  • Weixi Zhu
Undergraduate TAs
  • Nate Kim

Lectures

MEL 251 (Mechanical Laboratories)

Lecture Times

4pm–5:15pm TR

Course Email?{nick.vrvilo,cork}@rice.eduOnline DiscussionPiazza – Rice Comp 311

...

General Information

 

Course Syllabus 
Homework Submission Guide
Office Hours
NickBy Appointment--
Corky

Wednesday

Tuesday, Thursday

2pm-4pm2pm–4pm

9:15am-1015am–10:30am

DCH 3110

DCH 3104

TATAs-Check Piazza--
Textbooks
There is no required textbook. We will follow the pedagogic approach of "How to Design Programs" but in a typed context. We will also draw material from a variety of sources, including:
Online Videos
Development Environment

 

...

Week

Day

Date

Topic

Work AssignedWork Due

1

Tu

Aug 22

Overview, Motivation

  
 ThAug 24What are Types, Core ScalaHwk 0 

2

Tu

Aug 30

—

  
 ThursThSep 01—  

3

Tu

Sep 06

Doubles, Programming with Intention, The Design Recipe

  
 ThurThSep 08Functions on Ranges, Point Values, Compound Datatypes*  

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

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 4

13

Tu

Nov 15

The State Monad*

  

 

Th

Nov 17

Additional Scala Features, Extractors, Parser Combinators*

  
14TuesTuNov 22More Parser Combinators, Actors and Concurrency*Hwk 6Hwk 5

 

Th

Nov 24

THANKSGIVING

  

15

Tu

Nov 28

Functional Distributed Computing*

  
 ThurThDec 01Course Wrap Up Hwk 6

...