CS457/557 Functional Languages Fall 2005

Instructor: Andrew Tolmach

Course Information

• Syllabus (pdf)
• Mailing list

Required Reading

• Paul Hudak, The Haskell School of Expression.
  • Check the errata list.
• P. Hudak and M. Jones, Haskell vs. Ada vs. C++ vs. Awk vs. ..., An Experiment in Software Prototyping Productivity, July 1994. (Local pdf copy.)
• J. Hughes, Why Functional Programming Matters, 1984.

Lecture Notes and Supporting Code

• Introduction 9/27/05 (pdf)
  • lect01.hs
  • lect02.hs
• More Haskell Basics; Datatypes 9/29/05 (pdf)
  • Shape.lhs (Ch. 2 Code Examples)
• IO Actions; Graphics 10/4/05 (pdf)
  • wc.hs
  • SimpleGraphics.lhs (Ch. 3 Code Examples)
• Drawing Shapes 10/6/05 (pdf)
  • Draw.lhs (Ch. 4 Code Examples)
• Polymorphism & Higher-order Functions 10/11/05 (pdf)
• Perimeters of Shapes 10/18/05 (pdf)
  • Perimeter.lhs (Ch. 6 Code Examples)
• Trees 10/18/05-10/20/05 (pdf)
  • Trees.lhs (Ch. 7 Code Examples)
• Regions 10/25/05 (pdf)
  • Region.lhs (Ch. 8 Code Examples)
• More on Higher-order Functions 10/27/05 (pdf)
• Drawing Regions 10/27/05 (pdf)
  • Picture.lhs (Ch. 10 Code Examples)
• Proving Program Properties 11/3/05 (pdf)
• Qualified Types and Type Classes 11/8/05 (pdf)
• Animations 11/12/05 (pdf)
  • Animation.lhs (Ch. 13 Code Examples with fix)
• Constraint Satisfaction Problems 11/17/05 (pdf)
  • paper and associated code
• Monads 11/29/05 (pdf) (REVISED 12/03/05 1:40pm)

Homework Assignments

• Homework 1 (due 10/4/05) (pdf) (suggested solutions)
• Homework 2 (due 10/11/05) (pdf) (suggested solutions)
• Homework 3 (due 10/18/05) (pdf) (suggested solutions)
• Homework 4 (due 10/25/05) (pdf) (suggested solutions)
• Homework 5 (due 11/8/05) (pdf) (suggested solutions)
• Homework 6 (due 11/15/05) (pdf) (suggested solutions)
• Homework 7 (due 11/22/05) (pdf) (suggested solutions)
  • Fixed version of Time.hs for Nov2002 Hugs users.
• Homework 8 (due 11/29/05) (pdf)

Other Resources

• Download page for Hugs Nov2002 Release
• Haskell Home Page
• Haskell Report (Language Reference and Libraries) (pdf)
• Hugs User Manual (pdf)
• Hugs Graphics User Manual (pdf) Note that the SOEGraphics module is not quite the same as the Graphics module.

Hugs Hints

• Hugs will find modules automatically if you put the directory containing them on its search path. This can be done using the -P option on the command line, using the :s command within Hugs, or (most conveniently) in the environment variable HUGSFLAGS. For example, to access the SOEGraphics modules on the CS Solaris systems, you can add the following environment variable setting to your .cshrc or equivalent file:

  HUGSFLAGS=-P/pkgs/hugs/soe/graphics-2.0.4/lib/x11:

  The trailing colon (:) is significant: it means to append this directory to the existing path (which already contains the standard libraries). On Windows systems (where you want to point to the win32 subdirectory) use a semicolon (;) instead.

• There are two versions of Hugs: the standard Hugs98 compatible version ("98 mode") and the experimental Hugs extensions version ("Hugs mode"). You get the former unless you pass the flag -98 when invoking hugs. (Yes, this seems backwards. The minus sign is supposed to mean "take away the 98 features" rather than "this is a flag.") On Windows, the default install process seems to associate hugs -98 with the file extensions .hs and .lhs. You'll want to change this: in Explorer, go to Tools->Folder Options->File Types; select .hs and click on Advanced (at least in XP; your system may vary).