COMP 311 / COMP 544: Functional Programming (Fall 2018)
Instructors | Dr. Nick Vrvilo (2σ) Dr. Corky Cartwright | Graduate TAsTA | — | Undergraduate TAs | Ryuichi Sai ryuichi@rice.edu | —|
|---|---|---|---|---|---|---|
Lectures | Duncan Hall 1075 | Lecture Times | 4pm–5:15pm TR | |||
| Course Instructor Email | {nick.vrvilo,cork}@rice.edu | Online Discussion | Piazza – Rice Comp 311 |
...
Description
Grading will be based on your performance on weekly programming assignments. All work in this class is expected to be your own, and you are expected not to post your solutions or share your work with other students, even after you have taken the course. Please read the Comp 311 Honor Code Policy for more details on how you are expected to work on your assignments. There will also be a final exam, as described in the syllabus.
All students will be held to the standards of the Rice Honor Code, a code that you pledged to honor when you matriculated at this institution. If you are unfamiliar with the details of this code and how it is administered, you should consult the Honor System Handbook. This handbook outlines the University's expectations for the integrity of your academic work, the procedures for resolving alleged violations of those expectations, and the rights and responsibilities of students and faculty members throughout the process.
Students with disabilities are encouraged to contact me during the first two weeks of class regarding special needs. Students with disabilities should also contact Disabled Student Services in the the Ley Student Center and and the Rice Disability Support Services.
General Information
...
Week | Day | Date | Topic | Work Assigned | Work Due | ||
|---|---|---|---|---|---|---|---|
1 | Tu | Aug 21 | |||||
| Th | Aug 23 | Computation by Reduction, Types | Homework 0 | ||||
2 | Tu | Aug 28 | |||||
| Th | Aug 30 | Programming with Intention, The Design Recipe | |||||
3 | Tu | Sep 04 | Conditionals, Functions on Ranges & Point Values, Compound Data | ||||
| Th | Sep 06 | —* | Methods, Objects, Grading | Homework 1 | Homework 0 | ||
4 | Tu | Sep 11 | Homework 1 | ||||
| Th | Sep 13 | Static Type Checking, Abstract Datatypes *(cont.), Recursively Defined Types | ||||
5 | Tu | Sep 18 | Abstract Datatypes 2, Recursively Defined Types *(cont.), Functions as Values | ||||
| Th | Sep 20 | Recursively Defined Types 2, Functions as Values*1st-Class Functions, Imports | ||||
6 | Tu | Sep 25 | Homework 2 | Homework 1 | |||
| Th | Sep 27 | |||||
7 | Tu | Oct 02 | Covariance and Contravariance, ...*Type Hierarchy, Variance, Generic Map Function | ||||
| Th | Oct 04 | ... Currying, Fold, Flatmap, and Fold, Zip, Flatten, For Expressions* | ||||
8 | Tu | Oct 09 | Midterm Recess (no classes) | ||||
| Th | Oct 11 | Type Hierarchy, Overrides, Exceptions, Operators* | Homework 3 | Homework 2 | ||
9 | Tu | Oct 16 | For Expressions, Monads, The Environment Model*Accumulators | ||||
| Th | Oct 18 | Call-by-Name/Value, Scala Immutable Collections Classes, Traits* | ||||
10 | Tu | Oct 23 Generative Recursion* | Growing a Language, by Guy L. Steele, Jr. | ||||
| Th | ||||||
11 | Tu | Oct 30 Accumulators* | |||||
| Th | Nov 01 | Homework 4 | Homework 3 | |||
12 | Tu | Nov 06 | |||||
| Th | Nov 08 Mechanical Proof Checkin, The Curry-Howard Isomorphism* | ... | ||||
13 | Tu | Nov 13 The State Monad* | |||||
| Th | Nov 15 | Homework 5 | Homework 4 | |||
| 14 | Tu | Nov 20More Parser Combinators, Actors and Concurrency* | Videos: What to Leave Implicit and Impromptu | ||||
| Th | Nov 22 | Thanksgiving Holiday (no classes) | ||||
15 | Tu | Nov 27 | |||||
| Th | Nov 29Videos: What to Leave Implicit and Impromptu* | Course Wrap-up | Homework 5 | ||||
| 16 | Tu | Dec 04 | Study Day (no classes) | ||||
| ? | F | Dec 07??? | Final Exam: 2–5pm in Duncan Hall 1075 |
* Lectures slides not yet updated from last year are marked with an asterisk.
** The place and time of the final exam is set by the registrar. The current scheduling details are available on the registrar's page for this course.