Versions Compared

Key

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

NOTE: This page is for an old offering of the course. To find the latest course offering, please visit https://comp311.rice.edu/.

COMP 311: Functional Programming (Fall 2016)

Instructor

Dr. Eric Allen

Dr. Corky Cartwright

Graduate TAs
  • Arghya "Ronnie" Chatterjee
  • Lechen Yu
Co-Instructor

Dr. Sağnak Taşırlar

 

Undergraduate TAs
  • Chris Brown
  • Cannon Lewis
  • Jake Nyquist
 

Lectures

DCH 1075

Lecture Times

8:00AM - 9:15AM TR

Course Emailcomp311@ricecomp311_staff@rice.eduOnline DiscussionPiazza -- Rice Comp 311

...

General Information

 

Course Syllabus 
Homework Submission Guide
Office Hours
Eric <Day>By Appointment<Time>-<Location>-
Corky<Day><Time><Location>
Sagnak<Day><Time><Location>
Ronnie <Day><Time>DH 3002

Wednesday

Tuesday, Thursday

2pm-4pm

9:15am-10:30am

DCH 3110

DCH 3104

SagnakThursday9:15am - 11:15amDCH 2062
LechenWednesday1pm - 2pmDCH 2069
ChrisTuesday1pm - 3pmDuncan Commons
CannonMonday3pm - 5pmJones Commons
JakeWednesday1:55pm - 3:55pmWill Rice CommonsLechen<Day><Time><Location>
Textbooks
Online VideosOnline Videos
  • Will be updated as we go along.
Development Environment

 

Lecture Schedule (Subject to Change Without Notice)

Conditional Functions on Ranges, Point Values, and Compound Datatypes

Semantics of Type Checking, Binary Methods, Abstract Datatypes

For Expressions, Monads, The Environment Model of Reduction

Call-by-Name, Environment Model of Type Checking, Generative Recursion

Week

Day

Date

Topic

Work AssignedWork Due

1

Tues

Aug 23

Overview, Motivation, Core Scala

  
 ThurAug 25The Nature of Doubles, The Design RecipeWhat are Types, Core ScalaHwk 0 

2

Tues

Aug 30

Type Checking, Conditional Functions, Compound DatatypesDoubles, Programming with Intention, The Design Recipe

 Hwk 0 
 ThursSep 01Grading, DrScala, Tests, Binary Methods, OperatorsHwk 1Functions on Ranges, Point Values, Compound Datatypes 

3

Tues

Sep 06

Abstract Datatypes, ExceptionsMethods, Grading, DrScala

  
 ThurSep 08

Exceptions, Overloading

 Abstract DatatypesHwk 1

4

Tues

Sep 13Recursively Defined Datatypes

Subtyping of Arrow Types, Exceptions

  

 

Thur

Sep 15

First-Class Functions

Abstract Datatypes 2, Recursively Defined Types

 Hwk 2 

5

Tues

Sep 20

Recursively Defined Types 2, Functions as Values, Parametric Types, Covariance

  

 

Thurs

Sep 22

Checking Variance, For-Expressions

 

Higher-Order Functions

Hwk 2Hwk 1 

6

Tues

Sep 27

Translating For-Expressions, The Environment ModelFunctions as Values, Parametric Types

  

 

Thur

Sep 29

Lexical vs Dynamic Scoping, Call-by-Name, Traits 1

Hwk 3

Currying, Fold, Flatmap, and For Expressions

  Hwk 2

7

Tues

Oct 04Traits 2, Generative Recursion

For Expressions, Monads, The Environment Model 

 

 

Thurs

Oct 06

More Generative Recursion, Accumulators

 

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

Hwk 3Hwk 2 

8

Tues

Oct 11

MIDTERM RECESS

  

 

Thur

Oct 13

More Accumulators, Tail Recursion

Hwk 4

Scala Collections Classes, Traits

  Hwk 3

9

Tues

Oct 18

Leftist Heaps, Functional Red-Black Trees

 Call-by-Name, Type Environments, Generative Recursion 

 

Thur

Oct 20

Red Black-Trees Continued, Stream Processing

 

Strategies for Generative Recursion

Hwk 4Hwk 3 

10

Tues

Oct 25

Guest Lecture: TBDAccumulators

  

 

Thur

Oct 27Variable Assignment and Environments

Functional Data Structures

  

11

Tues

Nov 01

Mutable ObjectsStreams, EqualityState, Memoization Mutation 

  

 

Thur

Nov 03

The State Monad, Mechanical Proof CheckingCheckin, The Curry-Howard Isomorphism

Hwk 5Hwk 4

12

Tues

Nov 08Programs as Proofs and the Curry Howard Isomorphism

The State Monad

  

 

Thur

Nov 10

Additional Scala Features, Extractors, Parser Combinators

  

13

Tues

Nov 15

More Parser Combinators, Actors and Concurrency

  

 

Thur

Nov 17

Tactical Theorem Proving

Hwk 6Hwk 5
14TuesNov 22Guest Lecture: TBDProject Fortress  

 

Thur

Nov 24

THANKSGIVING

  

15

Tues

Nov 28

Functional Distributed Computing

  
 ThurDec 01Course Wrap Up Hwk 6