CS457/557 Functional Languages Spring 2018

Instructor: Andrew Tolmach

• Office Hour: Tuesday 1-2pm or by appointment

Teaching Assistant: Chris Chak

• Office hours: Monday 4-5pm and Thursday 3-4pm

Course Information

• Syllabus and Schedule (pdf)
• Mailing list

Required Reading

• Graham Hutton, Programming in Haskell, 2nd ed.
  • The first two chapters are available free here.
  • Check the errata list.

Midterm Exam

• Sample Solutions

Projects

• Project Information

Lecture Notes and Supporting Code

• Introduction 4/2/18 (pdf)
• First Examples; Fractals 4/4/18 (pdf)
  • Fractal generation code (zip file)
• Lists 4/9/18 (pdf)
• Laws and Folds 4/11/18 (pdf)
• Algebraic Datatypes 4/16/18 (pdf)
• Haskell Type Checking 4/23/18 (pdf)
• Haskell Type Classes 4/25/18 (pdf)
• IO Actions 4/30/18 (pdf) [updated 4/30/18 4:55pm]
  • Directory visualization code (files.hs)
• Modules and ADTs 5/9/18 (no slides)
  • (client) (list sets) (function sets) (constructor sets) (abstract list sets)
• Monads 5/21/18 (no slides) (zipped .hs files)
• Laziness 5/23/18 (pdf) [updated 5/23/18 4:02pm]
• Implementation 5/30/18 (no slides).
  • For more information on the topics presented in this lecture, see Andrew Appel, Modern Compiler Implementation in {C,Java,ML}, Ch. 15.

Homework Assignments

• Homework 0 (due 4/4/18) (HW0.hs)
• Homework 1 (due 4/11/18) (HW1.lhs) [revised 4/7/18 4:10pm] Sample solutions
• Homework 2 (due 4/18/18) (HW2.lhs) Sample solutions [revised 4/21/18 8:30am]
• Homework 3 (due 4/25/18) (HW3part1.hs) Sample solutions (HW3part2.hs) Sample solutions
• Homework 4 (due 5/2/18) (HW4.hs) (DotTrees.hs) Sample solutions
• Homework 5 (due 5/16/18) (HW5.hs) Sample solutions
• Homework 6 (due 5/30/18) (HW6.hs) [revised 5/23/18 5:20pm] Sample solutions

Other Resources

• Haskell Home Page