COMP 311: Functional Programming (Fall 2017)
Instructors | Dr. Nick Vrvilo (2σ) Dr. Corky Cartwright | Graduate TAs |
|
---|---|---|---|
Undergraduate TAs |
| ||
Lectures | ? | Lecture Times | 4pm–5:15pm TR |
Course Email | ? | 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.
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 | Tues | Aug 23 | |||
Thur | Aug 25 | What are Types, Core Scala | Hwk 0 | ||
2 | Tues | Aug 30 | |||
Thurs | Sep 01 | Functions on Ranges, Point Values, Compound Datatypes | |||
3 | Tues | Sep 06 | |||
Thur | Sep 08 | Abstract Datatypes | Hwk 1 | ||
4 | Tues | Sep 13 | |||
| Thur | Sep 15 | |||
5 | Tues | Sep 20 | |||
| Thurs | Sep 22 | Hwk 2 | Hwk 1 | |
6 | Tues | Sep 27 | |||
| Thur | Sep 29 | |||
7 | Tues | Oct 04 | For Expressions, Monads, The Environment Model | ||
| Thurs | Oct 06 | Hwk 3 | Hwk 2 | |
8 | Tues | Oct 11 | MIDTERM RECESS | ||
| Thur | Oct 13 | |||
9 | Tues | Oct 18 | Call-by-Name, Type Environments, Generative Recursion | ||
| Thur | Oct 20 | Hwk 4 | Hwk 3 | |
10 | Tues | Oct 25 | |||
| Thur | Oct 27 | |||
11 | Tues | Nov 01 | |||
| Thur | Nov 03 | Hwk 5 | Hwk 4 | |
12 | Tues | Nov 08 | |||
| Thur | Nov 10 | |||
13 | Tues | Nov 15 | |||
| Thur | Nov 17 | Hwk 6 | Hwk 5 | |
14 | Tues | Nov 22 | Project Fortress | ||
| Thur | Nov 24 | THANKSGIVING | ||
15 | Tues | Nov 28 | |||
Thur | Dec 01 | Course Wrap Up | Hwk 6 |