Advanced Functional Programming

Graham Hutton, University of Nottingham

If your are taking the module during the 2019/20 academic year, please read the exam guide carefully, as it contains important information and resources to help you with your revision.

** Page last updated 19th March 2020 **

Overview

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 functional programming module by focusing on a number of more advanced topics, 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, and improving program efficiency.

Timetable:

• Lecture: Mondays, 14.00 - 15.00, LT1
• Lab: Tuesdays, 11.00 - 13.00, A32
• Lecture: Fridays, 13.00 - 14.00, LT1

Coursework

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

• Connect 4 Game (initial code) -- due Wednesday 4th March, 3.00pm
• Monadic Compiler (initial code, advice and hints) -- due Wednesday 15th April, 5.00pm

Lectures

Textbook:

     

Lectures will primarily 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)

Resources

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