FI:IA014 Func.Programming - Course Information

IA014 Functional Programming

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).

Teacher(s)

RNDr. Libor Škarvada (lecturer)
Mgr. Matej Kollár (assistant)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: RNDr. Libor Škarvada

Timetable

Thu 14:00–16:50 B204

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

• Applied Informatics (programme FI, N-AP)
• Information Technology Security (programme FI, N-IN)
• Bioinformatics (programme FI, N-AP)
• Information Systems (programme FI, N-IN)
• Informatics (programme FI, M-IN)
• Informatics (programme FI, N-IN)
• Parallel and Distributed Systems (programme FI, N-IN)
• Computer Graphics (programme FI, N-IN)
• Computer Networks and Communication (programme FI, N-IN)
• Computer Systems (programme FI, N-IN)
• Embedded Systems (eng.) (programme FI, N-IN)
• Embedded Systems (programme FI, N-IN)
• Service Science, Management and Engineering (eng.) (programme FI, N-AP)
• Service Science, Management and Engineering (programme FI, N-AP)
• Theoretical Informatics (programme FI, N-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-TV)
• Upper Secondary School Teacher Training in Informatics (programme FI, N-SS) (2)
• Artificial Intelligence and Natural Language Processing (programme FI, N-IN)
• Image Processing (programme FI, N-AP)

Course objectives

The course surveys the main results in functional programming. Functional languages are viewed as various modifications and enhancements of common mathematical calculi. The course is also partly devoted to the implementation of interpreters and compilers, and to the optimization issues. After finishing the course the students should understand the context of functional languages and their connection to mathematical calculi, as well as the links to mathematical logic and type theory.

Syllabus

• Untyped and typed lambda calculi. Strong normalization, Church-Rosser property.
• Recursive definitions. The Fixpoint Theorem.
• Simple functional language and its semantics.
• Types, typing. Parametric polymorphism, impredicative type systems. Typing in predicative type systems.
• Subtyping, dependent types, Pure Type Systems.
• Imperative features, input/output, exceptions, nondeterminism, destructible arrays, state. Continuations.
• Constructor classes. Monads. Monadic data type for I/O. Monadic parser combinators.
• Implementation of functional languages. Translation of definitions by patterns, guarded clauses, list comprehensions.
• Graph reduction, G-machine. Supercombinators, lambda lifting. Optimal reduction, full laziness.

Literature

• FIELD, Anthony J. and Peter G. HARRISON. Functional programming. 1st ed. Wokingham: Addison-Wesley Publishing Company, 1988, 602 s. ISBN 0-201-19249-7. info
• JONES, Simon L. Peyton. The implementation of functional programming languages. New York: Prentice Hall, 1987, xvi, 445 s. ISBN 0-13-453325-9. info

Bookmarks

https://is.muni.cz/ln/tag/FI:IA014!

Teaching methods

The course is organized as a series of lectures.

Assessment methods

Evaluation: final written exam.

Language of instruction

Czech

Further Comments

Study Materials
The course is taught annually.

• Enrolment Statistics (Spring 2011, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring2011/IA014