COMP 311: Functional Programming (Fall 2017)
Instructors | Dr. Nick Vrvilo (2σ) Dr. Corky Cartwright | Graduate TAs |
|
---|---|---|---|
Undergraduate TAs |
| ||
Lectures | MEL 251 (Mechanical Laboratories) | Lecture Times | 4pm–5:15pm TR |
Course 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 Ley Student Center and the Rice Disability Support Services .
General Information
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 Assigned | Work Due |
---|---|---|---|---|---|
1 | Tu | Aug 22 | |||
Th | Aug 24 | What are Types, Core Scala | Hwk 0 | ||
2 | Tu | Aug 29 | — | ||
Th | Aug 31 | — | |||
3 | Tu | Sep 05 | |||
Th | Sep 07 | Functions on Ranges, Point Values, Compound Datatypes | |||
4 | Tu | Sep 12 | |||
| Th | Sep 14 | Hwk 1 | ||
5 | Tu | Sep 19 | |||
| Th | Sep 21 | |||
6 | Tu | Sep 26 | |||
| Th | Sep 28 | Hwk 2 | Hwk 1 | |
7 | Tu | Oct 03 | Covariance and Contravariance, ... | ||
| Th | Oct 05 | ... Currying, Fold, Flatmap, and For Expressions | ||
8 | Tu | Oct 10 | MIDTERM RECESS | ||
| Th | Oct 12 | Hwk 3 | Hwk 2 | |
9 | Tu | Oct 17 | For Expressions, Monads, The Environment Model | ||
| Th | Oct 19 | |||
10 | Tu | Oct 24 | |||
| Th | Oct 26 | Hwk 4 | Hwk 3 | |
11 | Tu | Oct 31 | |||
| Th | Nov 02 | |||
12 | Tu | Nov 07 | |||
| Th | Nov 09 | Hwk 4 | ||
13 | Tu | Nov 14 | |||
| Th | Nov 16 | Hwk 5 | ||
14 | Tu | Nov 21 | More Parser Combinators, Actors and Concurrency* | Hwk 6 (Optional) | |
| Th | Nov 23 | THANKSGIVING | ||
15 | Tu | Nov 28 | |||
Th | Nov 30 | Videos: What to Leave Implicit and Impromptu | Hwk 5 & 6 | ||
16 | Tu | Dec 05 | Study Days (no classes) | ||
| F | Dec 08 | Final Exam (DH 1064 at 2pm) |
* Lectures slides not yet updated from last year are marked with an asterisk.