Page History

...

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)

timeshttps://piazza.com/class/ibslot8j6un5p6

Instructor	Dr. Eric Allen Dr. Corky Cartwright	Graduate TAs	Arghya "Ronnie" Chatterjee Lechen Yu	TAs
Co-Instructor	Dr. Sağnak Taşırlar	Undergraduate TAs	Chris Brown Cannon Lewis Jake Nyquist
Lectures	Herzstein Hall 210DCH 1075	Lecture	Times	28:30PM 00AM - 39:45PM 15AM TR GRB W212
Course Email	comp311_staff@rice.edu	Online Discussion	Piazza -- Rice Comp 311

Description

This class provides an introduction to concepts, principles, and approaches of functional programming. Functional programming is a style of programming where in which the key means of computation is the application of functions to arguments (which themselves can be functions). This style of programming has a long history in computer science, beginning with the formulation of the Lambda Calculus as a foundation for mathematics and computer science. It has become increasingly popular in recent years because it offers important advantages in designing, maintaining, and reasoning about programs in many modern contexts such as web services, multicore programming, and cluster distributed computing. Course work consists of a series of programming assignments in the Scala programming language and various extensions.

Grading, Honor Code Policy, Processes, and Procedures

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.

Accommodations for Students with Special Needs

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 .

Course Syllabus

General Information

Course Syllabus

Homework Submission Guide

Office Hours

Eric	By Appointment	-	-
Corky	Wednesday Tuesday, Thursday	2pm-4pm 9:15am-10:30am	DCH 3110 DCH 3104
Sagnak	Thursday	9:15am - 11:15am	DCH 2062
Lechen	Wednesday	1pm - 2pm	DCH 2069
Chris	Tuesday	1pm - 3pm	Duncan Commons
Cannon	Monday	3pm - 5pm	Jones Commons
Jake	Wednesday	1:55pm - 3:55pm	Will Rice Commons

Lectures

Tuesdays and Thursdays 2:30PM-3:45PM

Grading

Coursework will consist of a series of small weekly programming assignments in Scala

Office Hours

Dr. Eric Allen: Tuesdays 4PM-5PM DH 2161

Textbooks

There is no required textbook, but we will . We will follow the pedagogic approach of "How to Design Programs" but in a typed context. We will also draw material from a variety of sources, including:

Available online at http://it-ebooks.info/book/3099/

Coursera: Functional Programming Principles in Scala by Martin Odersky.

https://www.coursera.org/course/progfun

edX: FP101x: Introduction to Functional Programming by Erik Meijer.

https://www.edx.org/course/introduction-functional-programming-delftx-fp101x#.VR1tZVYk_wI

https://spark.apache.org

Why is functional programming important ? by Corky Cartwright

Online Videos

Development Environment

The DrScala Pedagogic IDE is recommended for all homework assignments in this course.
You may also use IntelliJ IDEA. See the setup instructions for working with Scala projects in this course.

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 Recursionlec36-slides

Slides 25 27 3 8 10 15 Thurs 17 22 24 29 6 8 13 15 20 22 27 Thurs 29 3Thurs 5 10 Thurs 12 17Thurs 19 24Thurs 26 3

Week	Day	Date	Topic		Work Assigned	Work Due
1	Tues	Aug	23	Overview, Motivation
	Thur	Thurs	Aug	25	What are Types, Core Scala	Hwk 0
2	Tues	Sep 1		Aug 30	Doubles, Programming with Intention, The Design Recipe
	Thurs	Sep	01	Functions on Ranges, Point Values, Compound Datatypes
3	Tues	Sep	06	Methods, Grading, DrScala
	Thur	Thurs	Sep	08	Abstract Datatypes				Hwk 1
4	Tues	Sep	13	Subtyping of Arrow Types, Exceptions
		Thur	Sep	15	Abstract Datatypes 2, Recursively Defined Types
5	Tues	Sep	20	Recursively Defined Types 2, Functions as Values
	Thurs	Sep	22	Higher-Order Functions	Hwk 2	Hwk 1
6	Tues	Sep	27	Functions as Values, Parametric Types
	Thur	Thurs	Oct 1		Sep 29	Currying, Fold, Flatmap, and For Expressions
7	Tues	Oct	04	For Expressions, Monads, The Environment Model
	Thurs	Oct 06	"Growing a Language," Guy L. Steele, Jr.	Hwk 3	Hwk 2
				8	Tues	Oct	11	MIDTERM RECESS
	Thur	Thurs	Oct	13	Scala Collections Classes, Traits
9	Tues	Oct	18	Call-by-Name, Type Environments, Generative Recursion
	Thur		Thurs	Oct 20	Strategies for Generative Recursion	Hwk 4	Hwk 3
				10	Tues	Oct	25	Accumulators
		Thur	Oct	27	Functional Data Structures
11	Tues	Nov	01	Streams, State, Mutation
		Thur	Nov	03	Mechanical Proof Checkin, The Curry-Howard Isomorphism	Hwk 5	Hwk 4
				12	Tues	Nov	08	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 6	Hwk 5
14	Tues	Nov	22	Project Fortress
	Thur	Nov	24	THANKSGIVING
15	Tues	Dec 1	Nov 28	Functional Distributed Computing
	Thur	Thurs	Dec	01

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

...

Course Wrap Up

Hwk 6

Child pages

Versions Compared

Old Version 7

New Version Current

Key