CST:T2_IB015 Intro to Functional Prog - Course Information

T2_IB015 Introduction to Functional Programming

Extent and Intensity

0/4. 0 credit(s). Type of Completion: -.

Teacher(s)

RNDr. Libor Škarvada (lecturer)
Mgr. Eva Mráková, Ph.D. (seminar tutor)
Mgr. et Mgr. Tomáš Sklenák (assistant)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: Mgr. Lukáš Másilko
Supplier department: Support Centre for Students with Special Needs

Timetable of Seminar Groups

T2_IB015/T01: Tue 19. 2. to Fri 17. 5. Tue 12:00–13:55 Učebna S5 (31), Wed 12:00–13:55 Učebna S8 (17), E. Mráková

Prerequisites

SOUHLAS
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.
The capacity limit for the course is 10 student(s).
Current registration and enrolment status: enrolled: 0/10, only registered: 0/10, only registered with preference (fields directly associated with the programme): 0/10

fields of study / plans the course is directly associated with

• Applied Informatics (programme FI, B-AP)
• Bioinformatics (programme FI, B-AP)
• Informatics with another discipline (programme FI, B-EB)
• Informatics with another discipline (programme FI, B-FY)
• Informatics with another discipline (programme FI, B-IO)
• Informatics with another discipline (programme FI, B-MA)
• Informatics with another discipline (programme FI, B-TV)
• Mathematical Informatics (programme FI, B-IN)
• Parallel and Distributed Systems (programme FI, B-IN)
• Computer Graphics and Image Processing (programme FI, B-IN)
• Computer Networks and Communication (programme FI, B-IN)
• Computer Systems and Data Processing (programme FI, B-IN)
• Programmable Technical Structures (programme FI, B-IN)
• Embedded Systems (programme FI, N-IN)
• Service Science, Management and Engineering (programme FI, N-AP)
• Social Informatics (programme FI, B-AP)
• Artificial Intelligence and Natural Language Processing (programme FI, B-IN)

Course objectives

The students get acquainted with functional programming paradigm. Haskell enforces purely functional programming style without side effects, which brings on programming habits, useful also in imperative languages.

Syllabus

• Basic notions: term, value, evaluation step.
• Lambda abstraction.
• 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.
• Evaluation order, strict vs. lazy reduction.
• Infinite data structures.
• Recursive functions, operations on lists and trees, time complexity.

Literature

• THOMPSON, Simon. Haskell :the craft of functional programming. Harlow: Addison-Wesley, 1996, xx, 500 s. ISBN 0-201-40357-9. info

Teaching methods

This is a tutorial-based course.

Assessment methods

No completion. The subject is only offered to students with special needs. It is designed as a record of individual instruction.

Language of instruction

Czech

Further comments (probably available only in Czech)

Study Materials
Information on completion of the course: Předmět se neukončuje.
The course is taught each semester.
General note: Předmět je určen pouze studentům se specifickými nároky. Slouží k evidenci individuální výuky.
Information on course enrolment limitations: Předmět je určen pouze studentům se specifickými nároky. Slouží k evidenci individuální výuky.

• Enrolment Statistics (recent)
  
• Permalink: https://is.muni.cz/course/cus/spring2013/T2_IB015