Difference between revisions of "Functional programming"
(Marked this version for translation) |
|||
(111 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
<!--T:4--> | <!--T:4--> | ||
− | The course introduces the functional style of programming. It covers basic properties of the functional programming like: the side effect-free programming, functions as first-class values, high-order functions, recursion, pattern matching, or function closures. Also, course introduces selected data structures like a list and a tree and a functional style of working with these structures. As a programming language, Haskell will be used. It is a pure functional, statically typed, lazy evaluated language. | + | The course introduces the functional style of programming. It covers basic properties of the functional programming like: the side effect-free programming, functions as first-class values, high-order functions, recursion, pattern matching, or function closures. Also, course introduces selected data structures like a list and a tree and a functional style of working with these structures. As a programming language, Haskell will be used. It is a pure functional, statically typed, lazy evaluated language. |
===Subject aims expressed by acquired skills and competences=== <!--T:5--> | ===Subject aims expressed by acquired skills and competences=== <!--T:5--> | ||
Line 11: | Line 11: | ||
===Recommended literature=== <!--T:7--> | ===Recommended literature=== <!--T:7--> | ||
+ | </translate> | ||
*Lipovaca M.:Learn You a Haskell for Great Good!: A Beginner's Guide (1st ed.). No Starch Press, San Francisco, CA, USA, 2011 - for free at: http://learnyouahaskell.com/ | *Lipovaca M.:Learn You a Haskell for Great Good!: A Beginner's Guide (1st ed.). No Starch Press, San Francisco, CA, USA, 2011 - for free at: http://learnyouahaskell.com/ | ||
− | + | *Wiki Books: Haskell, for free at: https://en.wikibooks.org/wiki/Haskell | |
+ | |||
*O'Sullivan B., Goerzen J., Stewart D.: Real world Haskell, O'Reilly Media, Inc. 2008. ISBN:0596514980 - for free at: http://book.realworldhaskell.org/read/ | *O'Sullivan B., Goerzen J., Stewart D.: Real world Haskell, O'Reilly Media, Inc. 2008. ISBN:0596514980 - for free at: http://book.realworldhaskell.org/read/ | ||
− | |||
*Thompson S.: The Haskell: The Craft of Functional Programming (3nd ed.). Addison-Wesley Professional, October 2, 2011, ISBN-10: 0201882957. | *Thompson S.: The Haskell: The Craft of Functional Programming (3nd ed.). Addison-Wesley Professional, October 2, 2011, ISBN-10: 0201882957. | ||
− | + | <translate> | |
===Way of continuous check of knowledge in the course of semester=== <!--T:10--> | ===Way of continuous check of knowledge in the course of semester=== <!--T:10--> | ||
− | During the exercises, students will be programming assigned tasks | + | During the exercises, students will be programming assigned tasks. Additionally, two smaller projects will be given. |
− | == Software == | + | == Software == <!--T:15--> |
− | In our lectures, we will be using [https://www.haskell.org/downloads/#platform Haskell Platform] with [https://code.visualstudio.com/ Visual Studio Code]. For VS Code, we will be using | + | In our lectures, we will be using [https://www.haskell.org/downloads/#platform Haskell Platform] with [https://code.visualstudio.com/ Visual Studio Code]. For VS Code, we will be using an extension: |
− | *[https://marketplace.visualstudio.com/items?itemName= | + | *[https://marketplace.visualstudio.com/items?itemName=haskell.haskell Haskell] |
− | |||
− | + | <!--T:31--> | |
− | + | More information about various options for work environments can be found: [[FP_installation_guide | Installation Guide]] | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== Presentations == <!--T:11--> | == Presentations == <!--T:11--> | ||
Line 122: | Line 35: | ||
<translate> | <translate> | ||
<!--T:12--> | <!--T:12--> | ||
− | + | Presentations used in our lectures: | |
+ | </translate> | ||
+ | |||
+ | [http://linedu.vsb.cz/~beh01/wiki_data/FP_uvod.pdf Úvod do FPR] [http://linedu.vsb.cz/~beh01/wiki_data/FP_introduction.pdf Introduction to FPR] | ||
+ | |||
+ | [http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf Základy funkcionálního programování] | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=19 Page 17] [[File:Video logo.png|80px|link=https://youtu.be/641a45ILdkc]] CZ | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=39 Page 37] [[File:Video logo.png|80px|link=https://youtu.be/6eXCGAlI3FM]] CZ | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=36 Page 34] [[File:Video logo.png|80px|link=https://youtu.be/RlQumT3LNfI]] CZ | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=44 Page 42] Lists [[File:Video logo.png|80px|link=https://youtu.be/qJyi7fuICT0]] Tuples [[File:Video logo.png|80px|link=https://youtu.be/axb0WOROuf0]] CZ | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=50 Page 48] Theory [[File:Video logo.png|80px|link=https://youtu.be/XINafdmXTIE]] Example [[File:Video logo.png|80px|link=https://youtu.be/6jawdNysjs8]] CZ | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=57 Page 55] [[File:Video logo.png|80px|link=https://youtu.be/QHtGADjvwCU]] CZ | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=72 Page 70] [[File:Video logo.png|80px|link=https://youtu.be/Tf7tyJbHDuo]] CZ | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=82 Page 80] [[File:Video logo.png|80px|link=https://youtu.be/tOmNZNCWICg]] CZ | ||
+ | |||
+ | [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf Basics of functional Programming] | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=19 Page 17] [[File:Video logo.png|80px|link=https://youtu.be/ZAR4ZPkTRSI]] EN | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=39 Page 37] [[File:Video logo.png|80px|link=https://youtu.be/se5G4KjvGh8]] EN | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=36 Page 34] [[File:Video logo.png|80px|link=https://youtu.be/jgOIsTomglM]] EN | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=44 Page 42] [[File:Video logo.png|80px|link=https://youtu.be/GeFUKjhz46s]] EN | ||
+ | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=50 Page 48] [[File:Video logo.png|80px|link=https://youtu.be/xKEMJPES9K4]] EN | ||
+ | |||
+ | [http://linedu.vsb.cz/~beh01/wiki_data/PFP_tools.pdf Tools for Haskell] | ||
+ | |||
+ | [http://linedu.vsb.cz/~beh01/wiki_data/FP_advanced.pdf Introduction to advanced topics of functional programming] | ||
+ | <translate> | ||
+ | <!--T:20--> | ||
Schedule: | Schedule: | ||
</translate> | </translate> | ||
− | + | # [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=1 Beginning] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=21 Page 19] (2 hours, PORUA1, 23.9.) | |
− | + | # [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=21 Page 19] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=63 Page 61] (2 hours, PORUA1, 30.9.) | |
− | + | # [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=63 Page 61] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=76 Page 74] (2 hour, PORUA1, 7.10.) | |
− | + | # [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=77 Page 75] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=85 Page 83] (1 hour, PORUA1, 14.10) | |
− | + | # No lecture (21.10.) | |
− | + | # Summary before test (POREC1, 28.10.) | |
− | + | # [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=77 Page 75] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=85 Page 83] (1 hour, POREC1, 4.11.) | |
+ | # Advanced topics (2 hours, POREC1, 11.11.) + Solutions for Test 1 | ||
+ | # Advanced topics (1 hours, POREC1, 18.11.) + Summary before Test 2 | ||
+ | # Advanced topics (1 hours, POREC1, 25.11.) + Summary before Test 3 | ||
+ | # No lecture - (2.12.) | ||
+ | # No lecture - (9.12.) | ||
<translate> | <translate> | ||
Line 138: | Line 82: | ||
</translate> | </translate> | ||
{{anchor|laboratories}} | {{anchor|laboratories}} | ||
+ | # [[FP_Laboratory_1 | Laboratory 1]] | ||
+ | # [[FP_Laboratory_2 | Laboratory 2]] | ||
+ | # [[FP_Laboratory_3 | Laboratory 3]] | ||
+ | # [[FP_Laboratory_4 | Laboratory 4]] | ||
+ | # [[FP_Laboratory_5 | Laboratory 5]] | ||
+ | # [[FP_Laboratory_6 | Laboratory 6]] + [[FP_Laboratory_7 | Laboratory 7]] | ||
+ | # First programming test | ||
+ | # [[FP_Laboratory_9 | Laboratory 9]] +[[FP_Laboratory_10 | Laboratory 10]] | ||
+ | # [[FP_Laboratory_11 | Laboratory 11]] | ||
+ | # Second programming test | ||
+ | # Third programming test | ||
+ | # Credits for the subject given. Student can repeat one of their tests. | ||
+ | |||
+ | Optional: | ||
+ | * [[FP_Laboratory_12 | Laboratory 12]] | ||
<translate> | <translate> | ||
− | <!--T: | + | <!--T:28--> |
− | * | + | Cheat sheet containing basic functions in [http://linedu.vsb.cz/~beh01/wiki_data/FP_cheatsheet.pdf PDF] |
− | * | + | |
+ | == Homework == <!--T:26--> | ||
+ | * [[FP_Test3_2024 | Homework for test 3 - 2024]] | ||
+ | |||
+ | == Old Homeworks == <!--T:27--> | ||
+ | * [[FP_Homework_1 | Old Homework 1]] | ||
+ | * [[FP_Homework_2 | Old Homework 2]] | ||
+ | |||
+ | == Combine study == <!--T:29--> | ||
+ | === Tutorial 1 === | ||
+ | * Presentation [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=1 Beginning] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=51 Page 49] | ||
+ | * [[FP_Laboratory_1 | Laboratory 1]] | ||
+ | * [[FP_Laboratory_2 | Laboratory 2]] | ||
+ | |||
+ | === Tutorial 2 === <!--T:32--> | ||
+ | * Presentation [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=52 Page 50] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=69 Page 67] | ||
+ | * [[FP_Laboratory_3 | Laboratory 3]] | ||
+ | * [[FP_Laboratory_4 | Laboratory 4]] | ||
+ | * There will be a short test (10 points) | ||
+ | |||
+ | === Tutorial 3 === <!--T:33--> | ||
+ | * Presentation [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=70 Page 68] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=87 Page 85] | ||
+ | * [[FP_Laboratory_5 | Laboratory 5]] | ||
+ | * [[FP_Laboratory_6 | Laboratory 6]] | ||
+ | * [[FP_Laboratory_7 | Laboratory 7]] | ||
+ | * There will be a short test (10 points) | ||
+ | |||
+ | |||
+ | === Tutorial 4 === <!--T:34--> | ||
+ | * First programming exercise (25 points) | ||
+ | |||
+ | === Tutorial 5 === <!--T:35--> | ||
+ | * Presentation [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=86 Page 84] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=102 Page 100] | ||
+ | * Presentation [http://linedu.vsb.cz/~beh01/wiki_data/FP_advanced.pdf#page=1 Beginning] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_advanced.pdf#page=55 Page 53] (optional, it | ||
+ | will not be tested) | ||
+ | * Homework will be assigned. | ||
+ | * [[FP_Laboratory_9 | Laboratory 9]] | ||
+ | * [[FP_Laboratory_10 | Laboratory 10]] | ||
+ | * [[FP_Laboratory_11 | Laboratory 11]] | ||
+ | |||
+ | === Tutorial 6 === <!--T:36--> | ||
+ | * Second programming exercise (25 points) | ||
+ | |||
+ | === Tutorial 7 (after Christmas, just a test) === <!--T:37--> | ||
+ | * Programming exercise based on the homework (30 points). | ||
+ | |||
</translate> | </translate> |
Latest revision as of 09:48, 15 November 2024
Contents
Basic introduction
The course introduces the functional style of programming. It covers basic properties of the functional programming like: the side effect-free programming, functions as first-class values, high-order functions, recursion, pattern matching, or function closures. Also, course introduces selected data structures like a list and a tree and a functional style of working with these structures. As a programming language, Haskell will be used. It is a pure functional, statically typed, lazy evaluated language.
Subject aims expressed by acquired skills and competences
The basic outcome of this course will be the ability to write simple algorithms using a functional style of programming. More precisely, students will understand recursion and recursive data structures, they will be able to use high-order functions, and they will be able to define functions using the pattern matching. They will be able to use functional encapsulation mechanisms such as closures and modular interfaces and correctly reason about variables and lexical scope in programs. On practical level, they will be able to write these basic algorithms in programming language Haskell. Moreover, they will be able to recognize functional style of programming, they will understand advantages and disadvantages of this style of programming and they will be able to compare this style of programming with other approaches like imperative or object-oriented programming.
Recommended literature
- Lipovaca M.:Learn You a Haskell for Great Good!: A Beginner's Guide (1st ed.). No Starch Press, San Francisco, CA, USA, 2011 - for free at: http://learnyouahaskell.com/
- Wiki Books: Haskell, for free at: https://en.wikibooks.org/wiki/Haskell
- O'Sullivan B., Goerzen J., Stewart D.: Real world Haskell, O'Reilly Media, Inc. 2008. ISBN:0596514980 - for free at: http://book.realworldhaskell.org/read/
- Thompson S.: The Haskell: The Craft of Functional Programming (3nd ed.). Addison-Wesley Professional, October 2, 2011, ISBN-10: 0201882957.
Way of continuous check of knowledge in the course of semester
During the exercises, students will be programming assigned tasks. Additionally, two smaller projects will be given.
Software
In our lectures, we will be using Haskell Platform with Visual Studio Code. For VS Code, we will be using an extension:
More information about various options for work environments can be found: Installation Guide
Presentations
Presentations used in our lectures:
Úvod do FPR Introduction to FPR
Základy funkcionálního programování
- Page 17 CZ
- Page 37 CZ
- Page 34 CZ
- Page 42 Lists Tuples CZ
- Page 48 Theory Example CZ
- Page 55 CZ
- Page 70 CZ
- Page 80 CZ
Basics of functional Programming
Introduction to advanced topics of functional programming
Schedule:
- Beginning - Page 19 (2 hours, PORUA1, 23.9.)
- Page 19 - Page 61 (2 hours, PORUA1, 30.9.)
- Page 61 - Page 74 (2 hour, PORUA1, 7.10.)
- Page 75 - Page 83 (1 hour, PORUA1, 14.10)
- No lecture (21.10.)
- Summary before test (POREC1, 28.10.)
- Page 75 - Page 83 (1 hour, POREC1, 4.11.)
- Advanced topics (2 hours, POREC1, 11.11.) + Solutions for Test 1
- Advanced topics (1 hours, POREC1, 18.11.) + Summary before Test 2
- Advanced topics (1 hours, POREC1, 25.11.) + Summary before Test 3
- No lecture - (2.12.)
- No lecture - (9.12.)
Laboratories
- Laboratory 1
- Laboratory 2
- Laboratory 3
- Laboratory 4
- Laboratory 5
- Laboratory 6 + Laboratory 7
- First programming test
- Laboratory 9 + Laboratory 10
- Laboratory 11
- Second programming test
- Third programming test
- Credits for the subject given. Student can repeat one of their tests.
Optional:
Cheat sheet containing basic functions in PDF
Homework
Old Homeworks
Combine study
Tutorial 1
- Presentation Beginning - Page 49
- Laboratory 1
- Laboratory 2
Tutorial 2
- Presentation Page 50 - Page 67
- Laboratory 3
- Laboratory 4
- There will be a short test (10 points)
Tutorial 3
- Presentation Page 68 - Page 85
- Laboratory 5
- Laboratory 6
- Laboratory 7
- There will be a short test (10 points)
Tutorial 4
- First programming exercise (25 points)
Tutorial 5
will not be tested)
- Homework will be assigned.
- Laboratory 9
- Laboratory 10
- Laboratory 11
Tutorial 6
- Second programming exercise (25 points)
Tutorial 7 (after Christmas, just a test)
- Programming exercise based on the homework (30 points).