Difference between revisions of "Functional programming/cs"
(Created page with "=== Tutorial 6 === * Bude ohodnocen druhý domácí úkol (25 bodů). * Druhá programovací úloha (20 bodů).") |
|||
| Line 30: | Line 30: | ||
[http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf Basics of functional Programming] | [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf Basics of functional Programming] | ||
| + | *[http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=14 Page 12] [[File:Video logo.png|80px|link=https://youtu.be/641a45ILdkc]] | ||
[http://linedu.vsb.cz/~beh01/wiki_data/Advanced_FP.pdf Introduction to advanced topics of functional programming] | [http://linedu.vsb.cz/~beh01/wiki_data/Advanced_FP.pdf Introduction to advanced topics of functional programming] | ||
Rozvrh: | Rozvrh: | ||
| − | * Lecture 1: [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=1 | + | * Lecture 1: [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=1 Beginning] - [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=19 Page 17] |
| − | * Lecture 2: [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=20 Page | + | * Lecture 2: [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=20 Page 18] - [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=41 Page 39] |
| Line 66: | Line 67: | ||
== Kombinované studium == | == Kombinované studium == | ||
=== Tutoriál 1 === | === Tutoriál 1 === | ||
| − | * Presentace [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=1 | + | * Presentace [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.pdf#page=1 Začátek] - [http://linedu.vsb.cz/~beh01/wiki_data/Basics_of_FP.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]] | ||
Revision as of 11:47, 2 October 2020
Ú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/
- 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:
Basics of functional Programming
Introduction to advanced topics of functional programming
Rozvrh:
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
- Cvičení 10
- Cvičení 11
- Cvičení 12
- Druhý programovací test
- Budou uděleny zápočty za tento předmět. Studenti mohou zopakovat jeden z testů.
Řešení cvičení z laboratoří: Řešení
Tahák se základními funkcemi v PDF
Domácí úkoly
Kombinované studium
Tutoriál 1
Tutoriál 2
Tutoriál 3
- Prezentace Page 49 - Page 65
- Cvičení 5
- Cvičení 6
- Cvičení 7
- Na tomto tutoriálu proběhne krátký test (10 bodů)
Tutoriál 4
- První programovací úloha (20 bodů).
- Bude zadán první domácí úkol.
Tutoriál 5
- Bude ohodnocen první domácí úkol (25 bodů).
- Bude zadán druhý domácí úkol.
- Prezentace Page 66 - Page 82
- Prezentace Page 1 - Page 32 (volitelné, látka nebude součástí testu)
- Cvičení 9
- Cvičení 10
- Cvičení 11
- 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ů).
