Main page | Study Branches/Specializations | Groups of Courses | All Courses | Roles                Instructions

A course is the basic teaching unit, it's design as a medium for a student to acquire comprehensive knowledge and skills indispensable in the given field. A course guarantor is responsible for the factual content of the course.
For each course, there is a department responsible for the course organisation. A person responsible for timetabling for a given department sets a time schedule of teaching and for each class, s/he assigns an instructor and/or an examiner.
Expected time consumption of the course is expressed by a course attribute extent of teaching. For example, extent = 2 +2 indicates two teaching hours of lectures and two teaching hours of seminar (lab) per week.
At the end of each semester, the course instructor has to evaluate the extent to which a student has acquired the expected knowledge and skills. The type of this evaluation is indicated by the attribute completion. So, a course can be completed by just an assessment ('pouze zápočet'), by a graded assessment ('klasifikovaný zápočet'), or by just an examination ('pouze zkouška') or by an assessment and examination ('zápočet a zkouška') .
The difficulty of a given course is evaluated by the amount of ECTS credits.
The course is in session (cf. teaching is going on) during a semester. Each course is offered either in the winter ('zimní') or summer ('letní') semester of an academic year. Exceptionally, a course might be offered in both semesters.
The subject matter of a course is described in various texts.

NI-AFP Applied Functional Programming Extent of teaching: 2P+1C
Instructor: Pergl R., Suchánek M. Completion: KZ
Department: 18102 Credits: 5 Semester: L

Annotation:
This course is presented in Czech. Functional programming represents one of the traditional programming paradigms. Traditional and novel functional programming languages are on the rise nowadays and the functional paradigm becomes an important construct of traditionally imperative languages (C++, C#, Java). As such, mastering this paradigm becomes a necessary competence of a software engineer: the theory and especially the practice.

Lecture syllabus:
1. Introduction to the subject, functional programming and tools.
2. Functions and data types
3. Code structuring, evaluation and text types
4. Containers (data types), advanced functions and operators
5. Type classes
6. IO, exceptions and other type classes
7. Testing, documentation, performance
8. Web applications in Haskell
9. Introduction to Elm
10. The Elm Architecture
11. Web applications in Elm
12. Examples from practice, discussion and consultation

Seminar syllabus:
1. Introduction to the subject, functional programming and tools.
2. Functions and data types
3. Code structuring, evaluation and text types
4. Containers (data types), advanced functions and operators
5. Type classes
6. IO, exceptions and other type classes
7. Testing, documentation, performance
8. Web applications in Haskell
9. Introduction to Elm
10. The Elm Architecture
11. Web applications in Elm
12. Examples from practice, discussion and consultation

Literature:
Textbooks: The Haskelll Book Learn you a Haskell for Great Good Papers: Why functional programming matters How functional programming mattered Additional materials: https://wiki.ccmi.fit.cvut.cz/doku.php?id=programming:haskell

Requirements:
BI-PPA is a suitable, not a necessary prerequisite.

Tento předmět obsahově navazuje na bakalářský předmět Programovací paradigmata
Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/MI-AFP/

The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester
NI-PB.2020 Computer Security V Není
NI-ZI.2020 Knowledge Engineering V Není
NI-SPOL.2020 Unspecified Branch/Specialisation of Study V Není
NI-TI.2020 Computer Science V Není
NI-TI.2023 Computer Science V Není
NI-NPVS.2020 Design and Programming of Embedded Systems V Není
NI-PSS.2020 Computer Systems and Networks V Není
NI-MI.2020 Managerial Informatics V Není
NI-SI.2020 Software Engineering (in Czech) V Není
NI-SP.2020 System Programming V Není
NI-WI.2020 Web Engineering V Není
NI-SP.2023 System Programming V Není
BI-SPOL.2015 Unspecified Branch/Specialisation of Study V Není
BI-WSI-PG.2015 Web and Software Engineering V Není
BI-WSI-WI.2015 Web and Software Engineering V Není
BI-WSI-SI.2015 Web and Software Engineering V Není
BI-ISM.2015 Information Systems and Management V Není
BI-ZI.2018 Knowledge Engineering V Není
BI-PI.2015 Computer engineering V Není
BI-TI.2015 Computer Science V Není
BI-BIT.2015 Computer Security and Information technology V Není
BI-SPOL.21 Unspecified Branch/Specialisation of Study V Není
BI-PI.21 Computer Engineering 2021 (in Czech) V Není
BI-PG.21 Computer Graphics 2021 (in Czech) V Není
BI-MI.21 Business Informatics 2021 (In Czech) V Není
BI-IB.21 Information Security 2021 (in Czech) V Není
BI-PS.21 Computer Networks and Internet 2021 (in Czech) V Není
BI-PV.21 Computer Systems and Virtualization 2021 (in Czech) V Není
BI-SI.21 Software Engineering 2021 (in Czech) V Není
BI-TI.21 Computer Science 2021 (in Czech) V Není
BI-UI.21 Artificial Intelligence 2021 (in Czech) V Není
BI-WI.21 Web Engineering 2021 (in Czech) V Není


Page updated 25. 4. 2024, semester: Z,L/2023-4, Z/2019-20, Z/2024-5, L/2022-3, Z/2020-1, Z,L/2021-2, L/2020-1, Z/2022-3, L/2019-20, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška