Functional Programming: 2022-2023
This is a first course in programming. It makes use of a programming language called Haskell, in which programs can be viewed as mathematical functions. This makes the language very powerful, so that we can easily construct programs that would be difficult or very large in other languages.
An important theme of the course is how to apply mathematical reasoning to programs, so as to prove that a program performs its task correctly, or to derive it by algebraic manipulation from a simpler but less efficient program for the same problem.
The course provides hands-on experience of programming through two lab exercises: the first one aims to make you acquainted with the mechanics of writing Haskell programs, and the second one tackles a more challenging programming task.
At the end of the course the student will be able to:
- Write programs in a functional style;
- Reason formally about functional programs;
- Use polymorphism and higher-order functions;
- Reason informally about the time and space complexity of programs.
- Programming by writing functions: expressions, values, types, evaluation. Function definitions in Haskell scripts, interactive sessions. Mathematical functions as programs, function application as program execution; lists for sequencing, and function composition as a program structuring tool.
- Strong typing. Basic types, constructed types (sums and products); constructors, selectors, and discriminators; definitions by pattern matching. Parametric polymorphism, type classes and ad-hoc polymorphism; recursive types. Lists, finite and infinite lists; list comprehensions, standard list functions including map, filter, concat.
- Evaluation as computation, evaluation order; recursive definitions, non-termination and an outline of the idea of computability. Sorting as an example; the concept of efficiency of evaluation, and the asymptotic complexity of a calculation.
- Sudoku solver as an example; the idea of infeasibly inefficient algorithms.
- Proofs by induction. The take lemma, induction on finite lists, induction on infinite lists. The notion of chain completeness.
- Folds on data structures. Left- and right- folds on lists. Fold fusion. Standard functions as instances of folds. Scans as folds. Unfolds. Writing programs by solving equations for unknown functions.
- Efficiency improvement techniques involving accumulating parameters. Associativity and the relationship between left- and right-folds. Log time exponentiation.
- Countdown as an example. Abstract syntax trees. Tabulation and dynamic programming.
- Parsers as an example. The idea of parser combinators, as an introduction to monads. The do notation.
SyllabusPrinciples of functional programming: expressions, evaluations, functions, and types. Type definitions and built-in types: numbers, characters, strings and lists. Basic operations on lists, including map, fold and filter, together with their algebraic properties. Recursive definitions and structural induction. Simple program calculation. Infinite lists and their uses. Further data structures: binary trees, general trees. Use of trees for representing sets and symbolic data. Normal order reduction and lazy evaluation. Simple cost models for functional programs; time and space complexity.
- Graham Hutton, Programming in Haskell (2nd edition), Cambridge University Press, 2016.
- Richard Bird, Introduction to Functional Programming using Haskell, second edition, Prentice-Hall International, 1998.
- The Haskell standard Prelude
- Richard Bird, Thinking Functionally With Haskell, Cambridge University Press, October 2014.
- Miran Lipovača, Learn You a Haskell for Great Good! A Beginner's Guide, No Starch Press, 2011.
- Simon Thompson, Haskell: The Craft of Functional Programming, Addison-Wesley, 1996.
Students are formally asked for feedback at the end of the course. Students can also submit feedback at any point here. Feedback received here will go to the Head of Academic Administration, and will be dealt with confidentially when being passed on further. All feedback is welcome.