Course Syllabus
The table below gives the planned syllabus for the course.
This syllabus will be changed as needed.
When it becomes necessary to
revise the schedule, this page will be updated to reflect
the changes.
Material describing the course and its
objectives and grading
policies is available elsewhere.
Readings should be done before the "lecture" meeting on the
given date. Optional readings are optional, and can be used for
background or enrichment.
References are given in the
bibliography below.
All course meetings are concerned with all of the course's
essential learning outcomes.
Dates |
Topics |
Readings |
Optional Readings |
Homework Due |
Aug. 27 |
Introduction |
Handouts,
Grading Policy |
|
|
Aug. 29 |
No class, due to campus closing early for football game |
|
|
HW0 |
Sep. 3 |
No class, due to hurricane Dorian |
|
|
|
Sep. 5 |
No class, due to hurricane Dorian |
|
|
|
Sep. 10 |
Tips for Learning a Language with an Example
Introduction to Haskell |
|
Tutorials on Haskell.org, [Thompson11] chapters 1-5 |
|
Sep. 12 |
Types and Lists, Recursion |
|
Tutorials on Haskell.org, [Thompson11] chapters 5-7 |
Sept. 13: HW2,p1-2 |
Sep. 17 |
Recursion |
[Leavens13] |
Tutorials on Haskell.org, [Thompson11] chapters 7 and 10 |
|
Sep. 19 |
Recursion |
[Leavens13] |
Tutorials on Haskell.org, [Thompson11] chapters 7 and 10 |
Sept. 20: HW2,p3-9 |
Sep. 24 |
Recursion |
[Leavens13] |
Tutorials on Haskell.org, [Thompson11] chapters 7 and 10 |
HW2,p10 |
Sep. 26 |
Types and Type Checking |
[Thompson11] chapter 13 |
Tutorials on Haskell.org |
Sept. 27: HW2,p11-13 |
Oct. 1 |
Types and Type Checking |
|
Tutorials on Haskell.org |
|
Oct. 3 |
Review of Recrusive Programming and Following the Grammar |
[Leavens13] |
Tutorials on Haskell.org |
|
Oct. 8 |
Exam 1 |
[Leavens13] |
Tutorials on Haskell.org, [Thompson11] chapters 1-7 and 10 |
|
Oct. 10 |
Higher-order functions |
|
Tutorials on Haskell.org |
|
Oct. 15 |
Higher-order functions |
|
|
HW3,p1-5 |
Oct. 17 |
Higher-order functions |
|
Tutorials on Haskell.org |
Oct. 19: HW3,p6-8 |
Oct. 22 |
Modules, Naming |
|
[Wadler95], [Winstanley99] |
HW1, p1,p2, HW3,p9-14 |
Oct. 24 |
Modules, Naming |
|
[Wadler95], [Winstanley99] |
HW3,p15-16 |
Oct. 29 |
Erlang, sequential programming |
[Armstrong13], chapters 2-5 and 8-10 |
[Armstrong13], chapters 1 and 6 |
|
Oct. 31 |
Erlang, installation and comparison to Haskell |
[Armstrong13], chapters 2-5 and 8-10 |
[Armstrong13], chapters 1 and 6 |
|
Nov. 5 |
Exam 2 |
[Leavens13] |
Tutorials on Haskell.org |
|
Nov. 7 |
Summary of Concepts in the Declarative Models
and Erlang, actor model |
[Armstrong13], chapters 11-12 |
[Armstrong13], chapters 13-21 |
HW4,p1-3 |
Nov. 12 |
Erlang, actor model |
[Armstrong13], chapters 11-12 |
[Armstrong13], chapters 13-21 |
HW4,p4-8 |
Nov. 14 |
Erlang, actor model |
[Armstrong13], chapters 11-12 |
[Armstrong13], chapters 13-21 |
Nov. 16: HW4,p9-11 |
Nov. 19 |
Erlang, distributed programming |
[Armstrong13], chapter 14 |
|
|
Nov. 21 |
Erlang, distributed programming |
[Armstrong13], chapter 14 |
|
|
Nov. 26 |
Erlang, distributed programming |
[Armstrong13], chapter 14 |
|
HW1, p3,p4, HW5,p1-9 |
Nov. 28 |
No class, Thanksgiving Break |
|
|
|
Dec. 3 |
Summary and Review of Erlang (and the course) |
|
|
|
Dec. 10, 1:00pm-3:50pm |
Exam 3 |
|
|
|
Return to top
- [Armstrong13]
-
Joe Armstrong.
Programming Erlang, Second Edition: Software for a Concurrent World.
Pragmatic Programmers, LLC, second edition, 2013.
- [Leavens13]
-
Gary T. Leavens.
Following the Grammar with Haskell,
University of Central Florida, Dept. of CS, CS-TR-13-01, January 2013.
http://www.cs.ucf.edu/~leavens/COP4020/docs/follow-grammar-haskell.pdf
- [Marlow13]
-
Simon Marlow
Parallel and Concurrent Programming in Haskell,
O'Reilly Media, Inc., 2013.
http://chimera.labs.oreilly.com/books/1230000000929/index.html
- [Thompson11]
-
Simon Thompson
Haskell: the craft of functional programming (Third Edition),
Pearson, Harlow, England, 2011.
- [Wadler95]
-
Philip Wadler.
Monads for functional programming.
In J. Jeuring and E. Meijer (editors), Advanced Functional Programming,
Proceedings of the Baastad Spring School, May 1995,
Springer Verlag Lecture Notes in Computer Science, Volume 925.
Springer Verlag, Berlin.
http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf
- [Winstanley99]
-
Noel Winstanley
What the hell are Monads?
http://www-users.mat.uni.torun.pl/~fly/materialy/fp/haskell-doc/Monads.html
Return to top
Course Content and Policies
The course's content
and grading polices
are described on separate web pages. See the links on the top
left of this page.
Return to top
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Last modified Saturday, November 23, 2019.
This web page is for COP 4020
at the University of Central Florida.
The details of this course are subject to
change as experience dictates. You will be informed of any changes.
Please direct any comments or questions to
Gary T. Leavens at Leavens@ucf.edu.
Some of the policies and web pages for this course are
quoted or adapted from other courses I have taught, in partciular,
Com S 342.