Difference between revisions of "Functional programming/cs"

From Marek Běhálek Wiki
Jump to navigation Jump to search
(Created page with "=== Instalační příručka Windows (všichni uživatelé) === Tato příručka předpokládá, že existuje uživatel, který připravuje vývojové prostředí pro ostatní...")
 
(118 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
== Úvod ==  
 
== Ú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.
+
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===
 
===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í.
+
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===
 
===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/
 
*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.
−
 
 
===Způsob průběžné kontroly znalostí během semestru===
 
===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.  
+
Během cvičení budou studenti programovat zadané úkoly. Dále budou zadány dva menší projekty.  
  
 
== Software ==
 
== Software ==
−
V našich hodinách budeme používat [https://www.haskell.org/downloads/#platform Haskell Platform] s [https://code.visualstudio.com/ Visual Studio Code]. Pro VS Code budeme používat dvě rozšíření:
+
V našich hodinách budeme používat [https://www.haskell.org/downloads/#platform Haskell Platform] s [https://code.visualstudio.com/ Visual Studio Code]. Pro VS Code budeme používat následující rozšíření:
−
* [https://marketplace.visualstudio.com/items?itemName=Vans.haskero Haskero]
+
*[https://marketplace.visualstudio.com/items?itemName=haskell.haskell Haskell]
−
* [https://marketplace.visualstudio.com/items?itemName=phoityne.phoityne-vscode Haskell GHCi Debug Adapter Phoityne]
 
  
−
=== Instalační příručka Windows (jeden uživatel) ===
+
Více informací o různých variantach jak nastavit pracovní prostředí je v: [[FP_installation_guide | Instalační příručka]]
  
−
# Stáhněte si a nainstalujte platformu Haskell z [https://www.haskell.org/platform/windows.html https://www.haskell.org/platform/windows.html]
+
== Prezentace ==
−
#* Použijte výchozí cesty. Instalační program přidá do systémové proměnné <code>PATH</code> cestu ke spustitelnému <code>stack.exe</code>.
+
<span id="presentations"></span>
−
# Stáhněte a nainstalujte VS Code [https://code.visualstudio.com/#alt-downloads https://code.visualstudio.com/#alt-downloads]
+
Prezentace použité v našich přednáškách:
−
# Otevřete <code>cmd</code> a napište: <pre class="bash">stack install intero phoityne-vscode haskell-dap --system-ghc</pre>
 
−
# Otevřete soubor <code>c:\sr\config.yaml</code> a přidejte řádek <pre>system-ghc: true</pre>
 
−
#* Atribut <code>--system-ghc </code> je volitelný a nadbytečný pro předchozí krok (je to stejné nastavení, ale globální).
 
−
# Otevřete VS kód a nainstalujte rozšíření:
 
−
#* Haskero
 
−
#* Haskell GHCi Debug Adapter Phoityne
 
  
−
=== Instalační příručka Windows (všichni uživatelé) ===
+
[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]
−
Tato příručka předpokládá, že existuje uživatel, který připravuje vývojové prostředí pro ostatní uživatele.
 
−
<ol>
 
−
<li> Stáhněte a nainstalujte platformu Haskell z [https://www.haskell.org/platform/windows.html https://www.haskell.org/platform/windows.html] </li>
 
−
<li>* Pro <code>stack</code> použijte cestu přístupnou všem uživatelům (například <code>c:\stack</code>). Instalační program přidá do uživatelské proměnné <code>PATH</code> cestu ke spustitelnému <code>stack.exe</code> a přidá novou uživatelskou proměnnou <code>STACK_ROOT</code>. Přesuňte tyto hodnoty z uživatelských proměnných do systémových proměnných.
 
−
</li>
 
−
<li>Stáhněte a nainstalujte VS Code [https://code.visualstudio.com/#alt-downloads https://code.visualstudio.com/#alt-downloads]. Použijte instalační program pro systémovou verzi.</li>
 
−
<li>Otevřete <code>cmd</code> a napište: <pre class="bash">stack install intero phoityne-vscode haskell-dap --system-ghc</pre>
 
−
* Generuje některé spustitelné soubory do výchozího umístění: <code>c:\Users\-- YOUR NAME --\AppData\Roaming\local\bin\</code> přesuňte je do adresáře s <code>stack.exe</code>.
 
−
</li>
 
−
<li>Otevřete soubor <code>c:\sr\config.yaml</code> a přidejte řádky:
 
−
<pre>
 
−
system-ghc: true
 
−
skip-msys: true
 
−
</pre>
 
−
Tato nastavení šetří čas a místo na disku (nebude instalovat GHC při instalaci balíčků a [https://www.msys2.org/ MSYS2] pro každého uživatele).
 
−
</li>
 
−
<li>Otevřete VS kód a nainstalujte rozšíření:
 
−
* Haskero
 
−
* Haskell GHCi Debug Adapter Phoityne
 
−
</li>
 
−
</ol>
 
  
−
=== Installation guide Ubuntu (single users) ===
+
[http://linedu.vsb.cz/~beh01/wiki_data/FP_zaklady.pdf Základy funkcionálního programování]
−
<ol>
+
*[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
−
<li>Perform following commands:
+
*[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
−
<pre class="bash">
+
*[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
−
sudo apt-get install haskell-platform
+
*[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
−
sudo apt-get install haskell-stack
+
*[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
−
sudo snap install code --classic
+
*[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
−
</pre>
+
*[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
−
* ''Optional step'' - Right now (August, 2019) Haskell Platform from Ubuntu repositories contains GHC 8.4.4. Stack current default resolver is lts-14.00. It requires GHC version 8.6.5. It will automatically download this version. To save disk space, you can generate stack global config (for example <code>stack path</code>) and change the global resolver in file <code>~/.stack/global-project/stack.yaml</code> to <code>lts-12.15</code>. Then open file <code>~/.stack/config.yaml</code> and add lines:  
+
*[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
−
<pre>
 
−
system-ghc : true
 
−
skip-ghc-check: true
 
−
</pre>
 
−
</li>
 
−
<li> Continue with installation of required packages:
 
−
<pre class="bash">
 
−
stack install intero phoityne-vscode haskell-dap
 
−
</pre></li>
 
−
<li> Open VS Code and install extensions:
 
−
* Haskero
 
−
* Haskell GHCi Debug Adapter Phoityne
 
−
</li>
 
−
</ol>
 
  
−
=== Installation guide Ubuntu (all users) ===
+
[http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf Basics of functional Programming]
−
<ol>
+
*[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
−
<li>
+
*[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
−
Perform following commands:
+
*[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
−
<pre class="bash">
+
*[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
−
sudo apt-get install haskell-platform
+
*[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
−
sudo apt-get install haskell-stack
 
−
sudo snap install code --classic
 
−
</pre>
 
−
</li>
 
−
<li>Create a directory that will be a stack root, it should be readable by all users (for example <code>/stack</code>).</li>
 
−
<li>Create a file <code>/etc/profile.d/stack.sh</code> with following line:<CODE>export STACK_ROOT=</CODE>''your stack root directory''</li>
 
−
<li>Create a file <code>/etc/stack/config.yaml</code> with following lines:
 
−
<pre>
 
−
skip-ghc-check: true
 
−
system-ghc: true
 
−
allow-different-user: true
 
−
</pre>
 
−
</li>
 
−
<li>Generate stack global config (for example <code>stack path</code>) and change the global resolver in file <code>$STACK_ROOT/global-project/stack.yaml</code> to <code>lts-12.15</code>.</li>
 
−
<li> Continue with installation of required packages:
 
−
<pre class="bash">
 
−
stack install intero phoityne-vscode haskell-dap
 
−
</pre></li>
 
−
<li>It will produce some executable files to <code>~/.local/bin</code> copy them to: <code>/usr/local/bin</code> (or other ''search when executing'' location).
 
−
</li>
 
−
<li> Open VS Code and install extensions:
 
−
* Haskero
 
−
* Haskell GHCi Debug Adapter Phoityne
 
−
</li>
 
−
</ol>
 
  
−
== Prezentace ==
+
[http://linedu.vsb.cz/~beh01/wiki_data/PFP_tools.pdf Tools for Haskell]
−
<span id="presentations"></span>
+
 
−
Prezentace použitá v našich přednáškách v  [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf PDF]
+
[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/Functional%20programming.pdf#page=1 Page 1] - [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=20 Page 20]
+
# [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.)
−
* Lecture 2: [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=1 Page 1] - [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=20 Page 20]
+
# [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.)
−
* Lecture 3: [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=1 Page 1] - [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=20 Page 20]
+
# [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.)
−
* Lecture 4: [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=1 Page 1] - [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=20 Page 20]
+
# [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)
−
* Lecture 5: [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=1 Page 1] - [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=20 Page 20]
+
# No lecture (21.10.)
−
* Lecture 6: [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=1 Page 1] - [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=20 Page 20]
+
# Summary before test (POREC1, 28.10.)
−
* Lecture 7: [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=1 Page 1] - [http://linedu.vsb.cz/~beh01/wiki_data/Functional%20programming.pdf#page=20 Page 20]
+
# [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.)
  
 
== Cvičení ==
 
== Cvičení ==
 
{{anchor|laboratories}}
 
{{anchor|laboratories}}
−
<div class="mw-translate-fuzzy">
+
# [[FP_Laboratory_1 | Laboratory 1]]
−
* [[FP_Laboratory_1 | Cvičení 1]]
+
# [[FP_Laboratory_2 | Laboratory 2]]
−
* [[FP_Laboratory_2 | Cvičení 2]]
+
# [[FP_Laboratory_3 | Laboratory 3]]
−
* [[FP_Laboratory_3 | Cvičení 3]]
+
# [[FP_Laboratory_4 | Laboratory 4]]
−
* [[FP_Laboratory_4 | Cvičení 4]]
+
# [[FP_Laboratory_5 | Laboratory 5]]
−
* [[FP_Laboratory_5 | Cvičení 5]]
+
# [[FP_Laboratory_6 | Laboratory 6]] + [[FP_Laboratory_7 | Laboratory 7]] 
−
* [[FP_Laboratory_6 | Cvičení 6]]
+
# First programming test
−
* [[FP_Laboratory_7 | Cvičení 7]]
+
# [[FP_Laboratory_9 | Laboratory 9]]  +[[FP_Laboratory_10 | Laboratory 10]]
−
* [[FP_Laboratory_8 | Cvičení 8]]
+
# [[FP_Laboratory_11 | Laboratory 11]]
−
* [[FP_Laboratory_9 | Cvičení 9]]
+
# Second programming test
−
* [[FP_Laboratory_10 | Cvičení 10]]
+
# Third programming test
−
* [[FP_Laboratory_11 | Cvičení 11]]
+
# Credits for the subject given. Student can repeat one of their tests.
−
* [[FP_Laboratory_12 | Cvičení 12]]
+
 
−
* [[FP_Laboratory_13 | Cvičení 13]]
+
Optional:
−
* Poslední týden v semestru nebude žádná přednáška. Budou hodnoceny projekty a rozdány zápočty za tento předmět.
+
* [[FP_Laboratory_12 | Laboratory 12]]
−
</div>
+
Tahák se základními funkcemi v [http://linedu.vsb.cz/~beh01/wiki_data/FP_tahak.pdf PDF]
 +
 
 +
== Domácí úkoly ==
 +
* [[FP_Test3_2024 | Domácí příprava pro test 3 - 2024]]
 +
 
 +
== Staré domácí úkoly ==
 +
* [[FP_Homework_1 | Domácí úkol 1]]
 +
* [[FP_Homework_2 | Domácí úkol 2]]
 +
 
 +
== Kombinované studium ==
 +
=== Tutoriál 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]]
 +
 
 +
=== Tutoriál 2 ===
 +
* 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]]
 +
* Proběhne písemný test (10 bodů).
 +
 
 +
=== Tutoriál 3 ===
 +
* 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]]
 +
* Na tomto tutoriálu proběhne písemný test (10 bodů)
 +
 
 +
 
 +
=== Tutoriál 4 ===
 +
* První programovací test (20 bodů).
 +
 
 +
=== Tutoriál 5 ===
 +
* 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)
 +
* Bude přiřazen domácí úkol.
 +
* [[FP_Laboratory_9 | Laboratory 9]]
 +
* [[FP_Laboratory_10 | Laboratory 10]]
 +
* [[FP_Laboratory_11 | Laboratory 11]]
 +
 
 +
=== Tutorial 6 ===
 +
* Druhá programovací úloha (20 bodů).
 +
 
 +
=== Tutoriál 7 (po Vánocích, jen test) ===
 +
* Programovací úkol postavený na domácí přípravě (30 points).

Latest revision as of 09:49, 15 November 2024

Ú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/
  • 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. 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í

Basics of functional Programming

Tools for Haskell

Introduction to advanced topics of functional programming

Rozvrh:

  1. Beginning - Page 19 (2 hours, PORUA1, 23.9.)
  2. Page 19 - Page 61 (2 hours, PORUA1, 30.9.)
  3. Page 61 - Page 74 (2 hour, PORUA1, 7.10.)
  4. Page 75 - Page 83 (1 hour, PORUA1, 14.10)
  5. No lecture (21.10.)
  6. Summary before test (POREC1, 28.10.)
  7. Page 75 - Page 83 (1 hour, POREC1, 4.11.)
  8. Advanced topics (2 hours, POREC1, 11.11.) + Solutions for Test 1
  9. Advanced topics (1 hours, POREC1, 18.11.) + Summary before Test 2
  10. Advanced topics (1 hours, POREC1, 25.11.) + Summary before Test 3
  11. No lecture - (2.12.)
  12. No lecture - (9.12.)

Cvičení

  1. Laboratory 1
  2. Laboratory 2
  3. Laboratory 3
  4. Laboratory 4
  5. Laboratory 5
  6. Laboratory 6 + Laboratory 7
  7. First programming test
  8. Laboratory 9 + Laboratory 10
  9. Laboratory 11
  10. Second programming test
  11. Third programming test
  12. Credits for the subject given. Student can repeat one of their tests.

Optional:

Tahák se základními funkcemi v PDF

Domácí úkoly

Staré domácí úkoly

Kombinované studium

Tutoriál 1

Tutoriál 2

Tutoriál 3


Tutoriál 4

  • První programovací test (20 bodů).

Tutoriál 5

will not be tested)

Tutorial 6

  • Druhá programovací úloha (20 bodů).

Tutoriál 7 (po Vánocích, jen test)

  • Programovací úkol postavený na domácí přípravě (30 points).
Retrieved from "http://behalek.cs.vsb.cz/wiki/index.php?title=Functional_programming/cs&oldid=3863"