Syllabus for Functional Programming I
Funktionell programmering I
A revised version of the syllabus is available.
Syllabus
- 5 credits
- Course code: 1DL330
- Education cycle: Second cycle
-
Main field(s) of study and in-depth level:
Computer Science A1N
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:
First cycle
- 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
Second cycle
- 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: 2009-03-12
- Established by:
- Revised: 2021-02-02
- Revised by: The Faculty Board of Science and Technology
- Applies from: Autumn 2021
-
Entry requirements:
120 credits with a second course in computer programming. 15 credits in mathematics, including basic algebra. Proficiency in English equivalent to the Swedish upper secondary course English 6.
- Responsible department: Department of Information Technology
Learning outcomes
On completion of the course, the student should be able to:
- list and define the fundamental concepts of functional programming.
- manually execute a given (simple) functional program.
- manually infer the type of a given (simple) functional program.
- implement (simple) algorithms and data structures as functional programs.
- design (large) functional programs that are modular and have reusable components.
- explain on a simple problem how functional programming differs from imperative and object-oriented programming.
Content
Fundamental concepts: functions, relations, recursion, tail-recursion, type systems, polymorphism, datatypes, recursive datatypes, introduction to higher-order functions, data abstraction.
Programming in a functional programming language, such as Haskell.
Similarities and differences with imperative and object-oriented programming.
Instruction
Laboratory work, if required complemented by lectures.
Assessment
Assignments. Voluntary written exam for higher grades.
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.
Other directives
The course cannot be counted in a higher education qualification together with the course Programkonstruktion (1IT020, 1IT021, 1DL200, 1DL201).
Syllabus Revisions
Reading list
Reading list
Applies from: Autumn 2021
Some titles may be available electronically through the University library.
-
Thompson, Simon
Haskell : the craft of functional programming
3. ed.: Harlow: Addison-Wesley, 2011
-
Lipovača, Miran
Learn you a Haskell for great good! : a beginner's guide
San Francisco, CA: No Starch Press, cop. 2011