CS 495: Programming Paradigms and Patterns

Calendar

Abbreviations:

• LYH: Learn You a Haskell
• RWH: Real World Haskell

Jan 10

• Topic: Syllabus & Overview
• Handout: Course plan (PDF)

Jan 12

• Presentation: State, Concurrency, and Complexity
• Reading: John Hughes, Why Functional Programming Matters

Jan 17 - Jan 26

• Haskell language basics and development workflow
• Reading: LYH chapters 2-4

Jan 31 - Feb 7

• Recursion
• Reading: LYH chapters 5
• Source: SimpleRecursionDemo.hs, SimpleRecursion.hs
• Assignment: MP1

Feb 9 - Feb 21

• Higher Order Functions
• Reading: LYH chapter 6
• Reading: Graham Hutton, A tutorial on the universality and expressiveness of fold
• Source: HOFDemo.hs

Mar 2 - Mar 9

• Types and Typeclasses
• Reading: LYH chapter 8
• Reading: RWH: Types and Functions, RWH: Using Typeclasses
• Source: DataTypes.hs

Mar 9

• Functors
• Reading: LYH chapter 8 (towards the end) and 11
• Source: Functors.lhs

Mar 21

• Applicative Functors
• Reading: LYH chapter 11
• Source: Applicatives.lhs

Mar 23

• Midterm Exam

Mar 28

• Monads
• Reading: LYH chapter 12
• Reading: RWH: Monads
• Source: Monads.lhs

Mar 30 - Apr 6

• More on Monads
• Reading: LYH chapter 13
• Reading: RWH: Programming with Monads
• Source: MoreMonads.lhs

Apr 11 - Apr 20

• Monadic Parsing
• Source: Parser.hs

Machine Problems

1. MP1: Simple Recursion
   Assigned: 2/7, Due: 2/18

2. MP2: Folds and HOFs
   Assigned: 2/28, Due: 3/11

3. MP3: Data Types and Functors
   Assigned: 4/11, Due: 4/22

4. MP4: Monadic Parsing
   Assigned: 4/25, Due: 5/6

Please note that all submissions should be made via pushes (before the stated deadlines!) to our shared private repository on BitBucket.

Resources

Administrivia

• Instructor: Michael Lee
  • E-mail: lee@iit.edu
  • Office: SB 226C
  • Hours: Wed & Fri, 11:30-13:30
• Syllabus
• Source code repository

Reading

• Miran Lipovača, Learn You a Haskell for Great Good!
• Graham Hutton, Programming in Haskell, 2nd Edition
• Bryan O'Sullivan, Don Stewart, and John Goerzen, Real World Haskell
• John Hughes. "Why Functional Programming Matters". From “Research Topics in Functional Programming” ed. D. Turner, Addison-Wesley, 1990, pp 17–42.
• Graham Hutton. "A tutorial on the universality and expressiveness of fold". Journal of Functional Programming 9 (4): 355-372, July 1999.

Development Tools

• Glasgow Haskell Compiler (GHC)
• Haskell Stack
• GNU Emacs editor
• Atom editor
• GitKraken Git GUI
• Git version control system

References

• Hoogle (Haskell API search engine)
• The Haskell Cheatsheet
• The Haskell Report

Past Exams

• Spring 2018 Midterm, Solutions
• Spring 2018 Final, Solutions