FUNCTIONAL PROGRAMMING

Graduate level course at UFMG

Prof: Carlos Camarão de Figueiredo

Course Program:

• Functional programming concepts and examples
  • function definitions
  • lists
  • datatypes
  • higher-order functions
  • polymorphism
  • typing, overloading, type classes, type inference
  • abstract data types and modules
  • lazy evaluation
  • monads and I/O

  ---

  Bibliography:

  • Simon Thompson, The Craft of Functional Programming, 3rd edition, Addison-Wesley, 2011.
  • Exercises and lecture notes: Koen Claessen's course
  • Miran Lipovaca, Learn You a Haskell for Great Good: a Beginner's Guide , No Starch Press, 2011.

  Complementary:

  • Richard Bird, Introduction to Functional Programming using Haskell, 2nd edition, Prentice Hall 1998.
  • Real World Haskell, Bryan O'Sullivan, Don Stewart, John Goerzen, O'Reilly, 2009.
  • Paul Hudak, The Haskell School of Expression: Learning Functional Programming through Multimedia, Cambridge Univ. Press, 2000.
  • Material on the web: http://haskell.org.

  ---

  Evaluation:

  • Exercises: 10 points
  • 2 Projects: 20 + 20 points
    • Project 1: Implementation in Haskell of 4 of the following problems of SPOJ/BR: ALADES, ENCOTEL, IMPEDIDO, KRAKOVIA, PAR, PLACAR, POLEPOS, POPULAR, RECUPERA.
  • 2 Exams: 25 + 25 points

  Course support material:

  Download the Haskell Platform, which comes with the compiler (ghc) and interpreter (ghci) used in the course.