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 20152016)
Instructor | Dr. Eric Allen Dr. Corky Cartwright | Graduate TAs |
| |
---|---|---|---|---|
Co-Instructor | Dr. Sağnak Taşırlar | Undergraduate TAs |
| |
Lectures | GRB W212DCH 1075 | Lecture | timesTimes | 28:30PM 00AM - 39:45PM 15AM TR |
Course Email | comp311_staff@rice.edu | Online Discussion | https://piazza.com/class/ibslot8j6un5p6 |
...
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
Course Syllabus | |||||||||||||||||||||||||||||
Homework Submission Guide | |||||||||||||||||||||||||||||
Office Hours |
|
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 | SlidesWork Assigned | Work Due | |||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Tues | Aug | 2523 | Overview and , Motivation | ||||||||
Thurs | Thur | Aug | 2725 | What are Types, Core Scala | Hwk 0 | Course Tools and Setup | ||||||
2 | Tues | Sep 1 | Introduction to Scala | Aug 30 | ||||||||
Thurs | Sep | 3Programming with Intention | Hwk 0 | 01 | Functions on Ranges, Point Values, Compound Datatypes | |||||||
3 | Tues | Sep | 806 | Methods, Grading, DrScalaTest-Driven Development | ||||||||
Thurs | Thur | Sep | 1008 | Abstract Datatypes | Defining and Using Functions and Recursion | Hwk 1Hwk 0 | ||||||
4 | Tues | Sep | 15Referential Transparency and the Substitution Model13 | |||||||||
|
| ThursThur | Sep | 17Tail Recursion15 | Hwk 2 | Hwk 1|||||||
5 | Tues | Sep | 2220 | Recursively Defined Types 2, Functions as ValuesLists and Functional Data Structures | ||||||||
|
| Thurs | Sep | 2422 | Hwk 2 | Hwk 1 | Types, Type Systems, and Polymorphic Functions | Hwk 3 | Hwk 2 | |||
6 | Tues | Sep | 29Programming with Options and Pattern Matching27 | |||||||||
| Thur | Thurs | Oct 1 | Map, Reduce, and Higher Order Functions | Hwk 4 | Hwk 3Sep 29 | ||||||
7 | Tues | Oct | 604 | For Expressions, Monads, The Environment Model | Comprehensions and flatMap | |||||||
| Thurs | Oct | 806 | Hwk 3 | Hwk 2 | Programs as Proofs and the Curry-Howard Isomorphism | ||||||
8 | Tues | Oct | 1311 | MIDTERM RECESS | ||||||||
|
| ThursThur | Oct | 15Contracts and Data Integrity13 | Hwk 5 | Hwk 4|||||||
9 | Tues | Oct | 20Functional Leftist Heaps and Binomial Heaps18 | Call-by-Name, Type Environments, Generative Recursion | ||||||||
|
| ThursThur | Oct | 2220 | Hwk 4 | Hwk 3 | Functional Red-Black Trees | Hwk 6 | Hwk 5 | |||
10 | Tues | Oct | 27Strictness and Lazy Evaluation25 | |||||||||
|
| ThursThur | Oct | 29Stream Processing and Incremental I/O27 | Hwk 7 | Hwk 6|||||||
11 | Tues | Nov | 301 | ClosuresStreams, Effects, and the Environment ModelState, Mutation | ||||||||
| Thur | Thurs | Nov | 503 | Hwk 5 | Hwk 4 | Programming with Continuations | Hwk 8 | Hwk 7 | |||
12 | Tues | Nov | 10Domain-Specific Languages with Higher Order Functions08 | |||||||||
|
| ThursThur | Nov | 12Parallelism and Functional Programming10 | Hwk 9 | Hwk 8|||||||
13 | Tues | Nov | 1715 | More Parser Combinators, Actors and Concurrency Big Data and Distributed Computing with Apache Spark | ||||||||
|
| ThursThur | Nov | 1917 | DataFrames and Spark SQL | Hwk 106 | Hwk 95 | |||||
14 | Tues | Nov | 24Guest Lecture (TBA)22 | Project Fortress | ||||||||
|
| ThursThur | Nov | 2624 | THANKSGIVING | |||||||
15 | Tues | Dec 1 | Nov 28 | Functional Distributed ComputingPipelines and SparkML (Machine Learning) | ||||||||
Thurs | Thur | Dec | 301 | Course Wrap Up | Hwk 10 |
Grading, Honor Code Policy, Processes and Procedures
Grading will be based on your performance on weekly programming assignments.
In this course, 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 at http://honor.rice.edu/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.
Homework Submissions: All submitted homework submissions and presentations are expected to be the result of your team’s effort. All essays are expected to be the result of your individual effort. You are free to discuss course material and approaches to problems with your other classmates, the teaching assistants and the professor, but you should never misrepresent someone else’s work as your own. If you use any material from external sources, you must provide proper attribution.
Accommodations for Students with Special Needs
...
6 |