ADVANCED FUNCTIONAL PROGRAMMING

Module Information

Functional languages represent the leading edge of programming language design, and the primary setting in which new programming concepts are introduced and studied. This module builds upon the introductory module G51PGP Programming Paradigms, by focussing on a number of more advanced topics in functional programming, including aspects of recent and current research. The precise topics covered will vary from year to year, but will include topics such as programming with effects, reasoning about programs, improving efficiency, and functional pearls.

Timetable:

• Lecture: Thursday, 13.00 - 14.00, LT3 (Exchange)
• Lecture: Friday, 11.00 - 12.00, A25 (Business South)
• Lab: Thursday, 14.00 - 16.00, A32 (Computer Science)

Coursework

The coursework for the module comprises two extended programming exercises, and will be released here at the appropriate points during the module.

• Connect Four (initial code)
• Monadic Compiler (initial code)

Learning Material

Textbook:

Make sure to use the second edition (blue cover, 2016), as the original edition (yellow cover, 2007) is out-of-date.

Lectures will mostly be given at the whiteboard, and students are expected to take their own notes. Some supporting material is available here:

• Introduction
• Review of Haskell
• Solving Sudoku (powerpoint slides)

Useful Resources

• Module moodle page (internal version of this page)
• Haskell platform (the standard compiler and interpreter);
• Standard prelude (some useful library functions);
• Hoogle (for searching the libraries);
• Haskell home page (for all things Haskell).