T2_IB015 Introduction to Functional Programming

Pan-university studies
Spring 2013
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
there are 17 fields of study the course is directly associated with, display
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