|
|
| Line 18: |
Line 18: |
| | | | |
| | == 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) ===
| + | More information about various options for work environments can be found: [[FP_installation_guide | Installation Guide]] |
| | | | |
| − | # Stáhněte si a nainstalujte platformu Haskell z [https://www.haskell.org/platform/windows.html https://www.haskell.org/platform/windows.html]
| |
| − | #* 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>.
| |
| − | # Stáhněte a nainstalujte VS Code [https://code.visualstudio.com/#alt-downloads https://code.visualstudio.com/#alt-downloads]
| |
| − | # 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é) ===
| |
| − | 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>
| |
| − |
| |
| − | === Instalační příručka Ubuntu (jeden uživatel) ===
| |
| − | <ol>
| |
| − | <li> Proveďte následující příkazy:
| |
| − | <pre class = "bash">
| |
| − | sudo apt-get install haskell-platform
| |
| − | sudo apt-get install haskell-stack
| |
| − | sudo snap install code --classic
| |
| − | </pre>
| |
| − | * '' Volitelný krok '' - právě teď (srpen, 2019) platforma Haskell z úložišť Ubuntu obsahuje GHC 8.4.4. Aktuální výchozí překladač pro ''resolver'' je lts-14.00. Vyžaduje GHC verze 8.6.5. Tato verze se automaticky stáhne. Chcete-li ušetřit místo na disku, můžete vygenerovat globální konfiguraci (například <code>stack path</code>) a změnit globální ''resolver'' v souboru <code>~/.stack/global-project/stack.yaml</code> na <code>lts-12.15</code>. Poté otevřete soubor <code>~/.stack/config.yaml</code> a přidejte řádky:
| |
| − | <pre>
| |
| − | system-ghc: true
| |
| − | skip-ghc-check: true
| |
| − | </pre>
| |
| − | </li>
| |
| − | <li> Pokračujte v instalaci požadovaných balíčků:
| |
| − | <pre class = "bash">
| |
| − | stack install intero phoityne-vscode haskell-dap
| |
| − | </pre> </li>
| |
| − | <li> Otevřete VS kód a nainstalujte rozšíření:
| |
| − | * Haskero
| |
| − | * Haskell GHCi Debug Adapter Phoityne
| |
| − | </li>
| |
| − | </ol>
| |
| − |
| |
| − | === Instalační příručka Ubuntu (všichni uživatelé) ===
| |
| − | <ol>
| |
| − | <li>
| |
| − | Proveďte následující příkazy:
| |
| − | <pre class = "bash">
| |
| − | sudo apt-get install haskell-platform
| |
| − | sudo apt-get install haskell-stack
| |
| − | sudo snap install code --classic
| |
| − | </pre>
| |
| − | </li>
| |
| − | <li> Vytvořte adresář, který bude kořenem zásobníku, měl by být čitelný pro všechny uživatele (například <code>/stack</code>). </li>
| |
| − | <li> Vytvořte soubor <code> /etc/profile.d/stack.sh </code> s následujícím řádkem: <CODE>export STACK_ROOT=</CODE>'' váš kořenový adresář pro stack''</li>
| |
| − | <li> Vytvořte soubor <code>/etc/stack/config.yaml</code> s následujícími řádky:
| |
| − | <pre>
| |
| − | skip-ghc-check: true
| |
| − | system-ghc: true
| |
| − | allow-different-user: true
| |
| − | </pre>
| |
| − | </li>
| |
| − | <li> Generujte globální konfiguraci zásobníku (například <code>stack path</code>) a změňte globální ''resolver'' v souboru <code>$STACK_ROOT/global-project/stack.yaml</code> na
| |
| − | *<code>lts-12.15</code> pro Ubuntu 19.04 (ghc 8.4.4)
| |
| − | *<code>lts-8.0</code> pro Ubuntu 18.04 (ghc 8.0.2)</li>
| |
| − | <li> Pokračujte v instalaci požadovaných balíčků:
| |
| − | <pre class = "bash">
| |
| − | stack install intero phoityne-vscode haskell-dap
| |
| − | </pre> </li>
| |
| − | <li> Vytvoří některé spustitelné soubory do adresáře <code>~/.local/bin</code>, zkopírujte je do: <code>/usr/local/bin</code> (nebo jiného umístění ''prohledávaného při spouštění'').
| |
| − | </li>
| |
| − | <li> Otevřete VS Code a nainstalujte rozšíření:
| |
| − | * Haskero
| |
| − | * Haskell GHCi Debug Adapter Phoityne
| |
| − | <pre class="bash">code --install-extension phoityne.phoityne-vscode
| |
| − | code --install-extension Vans.haskero</pre>
| |
| − | </li>
| |
| − | </ol>
| |
| | == Prezentace == | | == Prezentace == |
| | <span id="presentations"></span> | | <span id="presentations"></span> |
Ú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. 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í:
More information about various options for work environments can be found: Installation Guide
Prezentace
Prezentace použité v našich přednáškách:
Introduction to FPR
Basics of functional Programming
Introduction to advanced topics of functional programming
Rozvrh:
Cvičení
Řešení cvičení z laboratoří: Řešení
Tahák se základními funkcemi v PDF
Domácí úkoly
Combine study
