Syllabus for Advanced Functional Programming
Avancerad funktionell programmering
- 5 credits
- Course code: 1DL450
- Education cycle: Second cycle
Main field(s) of study and in-depth level:
Computer Science A1F
Explanation of codes
The code indicates the education cycle and in-depth level of the course in relation to other courses within the same main field of study according to the requirements for general degrees:
- G1N: has only upper-secondary level entry requirements
- G1F: has less than 60 credits in first-cycle course/s as entry requirements
- G1E: contains specially designed degree project for Higher Education Diploma
- G2F: has at least 60 credits in first-cycle course/s as entry requirements
- G2E: has at least 60 credits in first-cycle course/s as entry requirements, contains degree project for Bachelor of Arts/Bachelor of Science
- GXX: in-depth level of the course cannot be classified
- A1N: has only first-cycle course/s as entry requirements
- A1F: has second-cycle course/s as entry requirements
- A1E: contains degree project for Master of Arts/Master of Science (60 credits)
- A2E: contains degree project for Master of Arts/Master of Science (120 credits)
- AXX: in-depth level of the course cannot be classified
- Grading system: Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
- Established: 2010-03-18
- Established by:
- Revised: 2021-02-02
- Revised by: The Faculty Board of Science and Technology
- Applies from: Autumn 2021
120 credits including 40 credits in computer science and 20 credits in mathematics. Computer Programming II and Functional Programming I, or Program Design, or the equivalent. Proficiency in English equivalent to the Swedish upper secondary course English 6.
- Responsible department: Department of Information Technology
The course will introduce students to different functional programming languages as well as discuss functional programming concepts and techniques. On completion of the course the student shall be able to:
- explain and apply different evaluation strategies such as strict and non-strict, lazy, sequential and parallel evaluation,
- explain and apply lazy evaluation, particularly how it can be used to simplify program structures and to define infinite data structures,
- explain and apply the macro concept, particularly how it can be used to define new program constructs,
- explain and apply the actor model in functional programming,
- explain and apply the concepts binding, currying, continuation, meta programming, monad, tail recursion, types, parametric and ad-hoc polymorphism,
- construct programs in various functional programming languages using the concepts and techniques mentioned above,
- analyse and evaluate differences and similarities between these programming languages.
Programming in a selection of functional programming languages (e.g. Haskell, Erlang and Lisp). Lazy evaluation, parallellism, concurrency, meta programming. Concepts such as bindings and polymorphism. Programming techniques such as continuations and monads. Comparisons between the languages.
Lectures, labs, seminars and programming assignments.
Oral presentations, written assignments and programming assignments.
If there are special reasons for doing so, an examiner may make an exception from the method of assessment indicated and allow a student to be assessed by another method. An example of special reasons might be a certificate regarding special pedagogical support from the disability coordinator of the university.
- Latest syllabus (applies from Autumn 2021)
- Previous syllabus (applies from Autumn 2020)
- Previous syllabus (applies from Spring 2019)
- Previous syllabus (applies from Autumn 2011)
- Previous syllabus (applies from Spring 2010)
The reading list is missing. For further information, please contact the responsible department.