FI:I015 Intro to Func.Programming - Course Information
I015 Introduction to Functional Programming
Faculty of InformaticsAutumn 1999
- Extent and Intensity
- 2/0. 2 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)
- Guaranteed by
- prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: RNDr. Libor Škarvada - Prerequisites
- There are no special prerequisities apart from the basic math skills (on the secondary-school level), and certain aptitude for abstract reasoning.
- 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
- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)
- Syllabus
- This course offers the basic information about functional programming. After finishing the course the students should be able to write simple programs in purely functional style.
- Basic notions: term, value, evaluation step.
- Evaluation order, strict vs. lazy reduction.
- Lambda abstraction, let and letrec expressions.
- Higher-order functions, partial application, currying.
- Simple types: ground types and type constructors, product types.
- Polymorfic types, typing.
- User defined type constructors, sum types, recursive types; definitions by patterns.
- List constructors, list enumeration and list comprehension.
- Infinite lists and trees.
- Recursive functions, operations on lists and trees, time complexity.
- Modules, abstract data types.
- Literature
- THOMPSON, Simon. Haskell :the craft of functional programming. Harlow: Addison-Wesley, 1996, xx, 500 s. ISBN 0-201-40357-9. info
- Assessment methods (in Czech)
- Kurs je ukončen závěrečnou písemnou zkouškou.
- Language of instruction
- Czech
- Follow-Up Courses
- Further comments (probably available only in Czech)
- The course is taught annually.
The course is taught: every week. - Teacher's information
- http://www.fi.muni.cz/usr/skarvada/vyuka/I015/index.html
- Enrolment Statistics (Autumn 1999, recent)
- Permalink: https://is.muni.cz/course/fi/autumn1999/I015