SluitenHelpPrint
Switch to English
Cursus: INFOFP
INFOFP
Functioneel programmeren
Cursus informatie
CursuscodeINFOFP
Studiepunten (EC)7,5
Cursusdoelen
Grading

The final grade depends on the two exams and the assignments.
  • The theory grade is T = 0.3 × grade of mid-term + 0.7 × grade of final exam. You need T >= 5 to pass the course.
  • The practical grade is P = 0.2 × average of the lab assignments + 0.8 × grade of final programming project. You need to pass at least two out of three lab assignments and obtain P >= 5 to pass the course.
  • The optional assignment grade is O.
The final grade is computed as F = min( 0.5 × T + 0.5 × P + 0.05 × O, 10 ). The final result of the course is:
  • Passed with grade F (rounded to half points) if F >= 5.5, T >= 5, P >= 5 and you passed at least two out of three lab assignments.
  • Not passed with AANV if F >= 4.0, but T < 5 or P < 5 or you passed fewer than two of the lab assignments.
    • In this case you are entitled to a repair test, to be determined per student.
    • If you need to re-submit the final programming exercise, that grade is a 6 maximum.
  • Not passed with NVD otherwise.
For the repair test the original result needs to be at least a 4.
 
Inhoud
This course introduces functional programming through the programming language Haskell. In contrast with the language C# – introduced in Imperatief/Game/Mobiel programmeren – which is based on statements, organized in methods and classes, functional programming is based entirely on expressions and functions. This shifts the focus from how a program operates to what is does.

Concrete topics treated in this course include higher-order functions, parametric and ad-hoc polymorphism (also known as generics and overloading in other programming languages), algebraic data types and pattern matching. These ideas appear not only in Haskell, but in other modern languages such as Scala, Swift or Kotlin. An important part of the course is devoted to reasoning about programs, either by equations or by induction.

The language Haskell imposes a strong separation between pure computations and those with side-effects, such as input and output. Monads are introduced to model the idea of sequential computation in a functional language. Similar abstractions such as functors are also part of the contents of this course.

Form
  • 2 × 2 h. lectures
  • 1 × 2 h. practicals
  • 1 × 2 h. group tutorials
SluitenHelpPrint
Switch to English