Difference between revisions of "Functional programming/cs"
Jump to navigation
Jump to search
(Created page with "*Wiki Books: Haskell, dostupné zdarma na: https://en.wikibooks.org/wiki/Haskell") |
|||
| Line 29: | Line 29: | ||
Prezentace použité v našich přednáškách: | Prezentace použité v našich přednáškách: | ||
| − | [http://linedu.vsb.cz/~beh01/wiki_data/ | + | [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/ | + | [http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf Základy funkcionálního programování] |
| − | *[http://linedu.vsb.cz/~beh01/wiki_data/ | + | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=14 Page 12] [[File:Video logo.png|80px|link=https://youtu.be/641a45ILdkc]] CZ |
| − | *[http://linedu.vsb.cz/~beh01/wiki_data/ | + | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf#page=28 Page 26] [[File:Video logo.png|80px|link=https://youtu.be/6eXCGAlI3FM]] CZ |
| − | *[http://linedu.vsb.cz/~beh01/wiki_data/ | + | *[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/ | + | *[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/ | + | *[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/ | + | *[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/ | + | *[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/ | + | *[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/ | + | [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf Basics of functional Programming] |
| − | *[http://linedu.vsb.cz/~beh01/wiki_data/ | + | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=14 Page 12] [[File:Video logo.png|80px|link=https://youtu.be/ZAR4ZPkTRSI]] EN |
| − | *[http://linedu.vsb.cz/~beh01/wiki_data/ | + | *[http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=28 Page 26] [[File:Video logo.png|80px|link=https://youtu.be/se5G4KjvGh8]] EN |
| − | *[http://linedu.vsb.cz/~beh01/wiki_data/ | + | *[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/ | + | *[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/ | + | *[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/ | + | [http://linedu.vsb.cz/~beh01/wiki_data/FP_advanced.pdf Introduction to advanced topics of functional programming] |
Rozvrh: | Rozvrh: | ||
| − | * Lecture 1: [http://linedu.vsb.cz/~beh01/wiki_data/ | + | * Lecture 1: [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=1 Beginning] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=36 Page 34] (2 hours, PORUA1) |
| − | * Lecture 2: [http://linedu.vsb.cz/~beh01/wiki_data/ | + | * Lecture 2: [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=35 Page 35] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=44 Page 42] (2 hours, PORUA1) |
* Lecture 3: no lecture | * Lecture 3: no lecture | ||
| − | * Lecture 4: [http://linedu.vsb.cz/~beh01/wiki_data/ | + | * Lecture 4: [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=45 Page 43] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=57 Page 55] (2 hour, PORUA1) |
| − | * Lecture 5: [http://linedu.vsb.cz/~beh01/wiki_data/ | + | * Lecture 5: [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=58 Page 56] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=65 Page 63] (1 hour, PORUA1) |
| − | * Lecture 6: [http://linedu.vsb.cz/~beh01/wiki_data/ | + | * Lecture 6: [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=66 Page 64] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=72 Page 70] (1 hour, PORUA1) |
* Lecture 7: Summary before Test 1 (POREC1) | * Lecture 7: Summary before Test 1 (POREC1) | ||
* Lecture 8: no lecture | * Lecture 8: no lecture | ||
| − | * Lecture 9: [http://linedu.vsb.cz/~beh01/wiki_data/ | + | * Lecture 9: [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=73 Page 71] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=82 Page 80] (1 hour, PORUA1) + Solutions for Test 1 |
* Lecture 10: Solutions for Homework 1 (POREC1) | * Lecture 10: Solutions for Homework 1 (POREC1) | ||
* Lecture 11: Summary before Test 2 (POREC1) | * Lecture 11: Summary before Test 2 (POREC1) | ||
| Line 93: | Line 93: | ||
== Kombinované studium == | == Kombinované studium == | ||
=== Tutoriál 1 === | === Tutoriál 1 === | ||
| − | * Presentace [http://linedu.vsb.cz/~beh01/wiki_data/ | + | * Presentace [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=1 Začátek] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=36 Page 34] |
* [[FP_Laboratory_1 | Cvičení 1]] | * [[FP_Laboratory_1 | Cvičení 1]] | ||
* [[FP_Laboratory_2 | Cvičení 2]] | * [[FP_Laboratory_2 | Cvičení 2]] | ||
| + | <div class="mw-translate-fuzzy"> | ||
=== Tutoriál 2 === | === Tutoriál 2 === | ||
* Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=37 Page 35] - [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=48 Page 46] | * Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=37 Page 35] - [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=48 Page 46] | ||
* [[FP_Laboratory_3 | Cvičení 3]] | * [[FP_Laboratory_3 | Cvičení 3]] | ||
* [[FP_Laboratory_4 | Cvičení 4]] | * [[FP_Laboratory_4 | Cvičení 4]] | ||
| + | </div> | ||
| + | <div class="mw-translate-fuzzy"> | ||
=== Tutoriál 3 === | === Tutoriál 3 === | ||
* Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=49 Page 47] - [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=65 Page 63] | * Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=49 Page 47] - [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=65 Page 63] | ||
| Line 109: | Line 112: | ||
* Na tomto tutoriálu proběhne krátký test (10 bodů) | * Na tomto tutoriálu proběhne krátký test (10 bodů) | ||
* Bude přiřazen první domácí úkol. | * Bude přiřazen první domácí úkol. | ||
| + | </div> | ||
| + | <div class="mw-translate-fuzzy"> | ||
=== Tutoriál 4 === | === Tutoriál 4 === | ||
* Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=66 Page 64] - [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=82 Page 80] | * Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=66 Page 64] - [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=82 Page 80] | ||
| Line 117: | Line 122: | ||
* Bude ohodnocen první domácí úkol (25 bodů). | * Bude ohodnocen první domácí úkol (25 bodů). | ||
* První programovací test (20 bodů). | * První programovací test (20 bodů). | ||
| + | </div> | ||
| + | <div class="mw-translate-fuzzy"> | ||
=== Tutoriál 5 === | === Tutoriál 5 === | ||
* Bude zadán druhý domácí úkol. | * Bude zadán druhý domácí úkol. | ||
* Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/Advanced_FP.pdf#page=1 Začátek] - [http://linedu.vsb.cz/~beh01/wiki_data/Advanced_FP.pdf#page=32 Page 31] (volitelné, látka nebude součástí testu) | * Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/Advanced_FP.pdf#page=1 Začátek] - [http://linedu.vsb.cz/~beh01/wiki_data/Advanced_FP.pdf#page=32 Page 31] (volitelné, látka nebude součástí testu) | ||
* [[FP_Laboratory_12 | Cvičení 12]] (volitelné, látka nebude součástí testu) | * [[FP_Laboratory_12 | Cvičení 12]] (volitelné, látka nebude součástí testu) | ||
| + | </div> | ||
=== Tutorial 6 === | === Tutorial 6 === | ||
* Bude ohodnocen druhý domácí úkol (25 bodů). | * Bude ohodnocen druhý domácí úkol (25 bodů). | ||
* Druhá programovací úloha (20 bodů). | * Druhá programovací úloha (20 bodů). | ||
Revision as of 08:20, 6 September 2022
Úvod
Předmět seznamuje s funkcionálním stylem programování. Zahrnuje základní vlastnosti funkcionálního programování, jako je programování bez vedlejších efektu, funkce jako hodnota prvního řádu, funkce vyšších řádů, rekurze, přizpůsobení, technika pattern matching nebo uzávěry funkcí. Rovněž kurz představuje vybrané datové struktury jako je seznam nebo strom a funkcionální styl práce s těmito strukturami. Jako programovací jazyk bude použit Haskell. Je to čistě funkcionální, staticky typovaný a líně vyhodnocovaný jazyk.
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
Základním cílem předmětu bude dovednost zapsat jednoduché algoritmy pomocí funkcionálního stylu programování. Přesněji řečeno, studenti pochopí rekurzi a vybrané rekurzivní datové struktury, budou schopni využívat funkce vyššího řádu, budou schopni definovat funkce pomocí techniky pattern matching. Budou schopni používat mechanismus zapouzdření pro funkce jako jsou uzávěry či modulární rozhraní a správně rozumět proměnným a jejich lexikálnímu rozsahu platnosti v programech. Na praktické úrovni budou schopni zapsat tyto základní algoritmy v programovacím jazyce Haskell. Navíc budou schopni rozpoznat funkcionální styl programování, pochopí výhody a nevýhody tohoto stylu programování a budou schopni porovnat tento styl programování s jinými přístupy, jako je imperativní nebo objektově orientované programování
Doporučená literatura
- 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, dostupné zdarma na: 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.
Způsob průběžné kontroly znalostí během semestru
Během cvičení budou studenti programovat zadané úkoly. Výsledky těchto úkolů budou důležitou součástí závěrečného hodnocení. Bude zadáno nejméně sedm hodnocených úkolů. Dále budou zadány dva menší projekty.
Software
V našich hodinách budeme používat Haskell Platform s Visual Studio Code. Pro VS Code budeme používat následující rozšíření:
Více informací o různých variantach jak nastavit pracovní prostředí je v: Instalační příručka
Prezentace
Prezentace použité v našich přednáškách:
Úvod do FPR Introduction to FPR
Základy funkcionálního programování
- Page 12
CZ - Page 26 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
Rozvrh:
- Lecture 1: Beginning - Page 34 (2 hours, PORUA1)
- Lecture 2: Page 35 - Page 42 (2 hours, PORUA1)
- Lecture 3: no lecture
- Lecture 4: Page 43 - Page 55 (2 hour, PORUA1)
- Lecture 5: Page 56 - Page 63 (1 hour, PORUA1)
- Lecture 6: Page 64 - Page 70 (1 hour, PORUA1)
- Lecture 7: Summary before Test 1 (POREC1)
- Lecture 8: no lecture
- Lecture 9: Page 71 - Page 80 (1 hour, PORUA1) + Solutions for Test 1
- Lecture 10: Solutions for Homework 1 (POREC1)
- Lecture 11: Summary before Test 2 (POREC1)
- Lecture 12: Advanced topics (2 hours, POREC1)
- Lecture 13: Advanced topics (2 hours, POREC1)
- Lecture 14: Solutions for Homework 2 + Test 2 (POREC1)
Cvičení
- Cvičení 1
- Cvičení 2
- Cvičení 3
- Cvičení 4
- Cvičení 5
- Cvičení 6
- Cvičení 7
- První programovací test.
- Cvičení 9 (1. Domácí úkol)
- Cvičení 10
- Cvičení 11
- Druhý programovací test
- Cvičení 12 (2. Domácí úkol)
- Budou uděleny zápočty za tento předmět. Studenti mohou zopakovat jeden z testů.
Tahák se základními funkcemi v PDF
Domácí úkoly
Kombinované studium
Tutoriál 1
Tutoriál 3
Tutoriál 4
- Prezentace Page 64 - Page 80
- Cvičení 9
- Cvičení 10
- Cvičení 11
- Bude ohodnocen první domácí úkol (25 bodů).
- První programovací test (20 bodů).
Tutoriál 5
- Bude zadán druhý domácí úkol.
- Prezentace Začátek - Page 31 (volitelné, látka nebude součástí testu)
- Cvičení 12 (volitelné, látka nebude součástí testu)
Tutorial 6
- Bude ohodnocen druhý domácí úkol (25 bodů).
- Druhá programovací úloha (20 bodů).
