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 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...")
(Created page with "=== 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 ap...")
Line 81: Line 81:
 
</ol>
 
</ol>
  
−
=== Installation guide Ubuntu (all users) ===
+
=== Instalační příručka Ubuntu (všichni uživatelé) ===
 
<ol>
 
<ol>
 
<li>
 
<li>
−
Perform following commands:
+
Proveďte následující příkazy:
−
<pre class="bash">
+
<pre class = "bash">
 
sudo apt-get install haskell-platform
 
sudo apt-get install haskell-platform
 
sudo apt-get install haskell-stack
 
sudo apt-get install haskell-stack
−
sudo snap install code --classic
+
instalační kód sudo snap - klasický
 
</pre>
 
</pre>
 
</li>
 
</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> 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>Create a file <code>/etc/profile.d/stack.sh</code> with following line:<CODE>export STACK_ROOT=</CODE>''your stack root directory''</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ář zásobníku '' </li>
−
<li>Create a file <code>/etc/stack/config.yaml</code> with following lines:
+
<li> Vytvořte soubor <code> /etc/stack/config.yaml </code> s následujícími řádky:
 
<pre>
 
<pre>
 
skip-ghc-check: true
 
skip-ghc-check: true
Line 100: Line 100:
 
</pre>
 
</pre>
 
</li>
 
</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> Generujte globální konfiguraci zásobníku (například <code> cestu zásobníku </code>) a změňte globální překladač v souboru <code> $ STACK_ROOT / global-project / stack.yaml </code> na <code> lts- 12.15 </code>. </li>
−
<li> Continue with installation of required packages:
+
<li> Pokračujte v instalaci požadovaných balíčků:
−
<pre class="bash">
+
<pre class = "bash">
 
stack install intero phoityne-vscode haskell-dap
 
stack install intero phoityne-vscode haskell-dap
−
</pre></li>
+
</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> Vytvoří některé spustitelné soubory, které je <code> ~ / .local / bin </code> zkopírují do: <code> / usr / local / bin </code> (nebo jiného '' vyhledávání při provádění '' umístění).
 
</li>
 
</li>
−
<li> Open VS Code and install extensions:
+
<li> Otevřete VS kód a nainstalujte rozšíření:
 
* Haskero
 
* Haskero
−
* Haskell GHCi Debug Adapter Phoityne
+
* Haskell GHCi ladicí adaptér Phoityne
 
</li>
 
</li>
 
</ol>
 
</ol>

Revision as of 08:53, 12 August 2019

Ú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 dvě rozšíření:

Instalační příručka Windows (jeden uživatel)

  1. Stáhněte si a nainstalujte platformu Haskell z https://www.haskell.org/platform/windows.html
    • Použijte výchozí cesty. Instalační program přidá do systémové proměnné PATH cestu ke spustitelnému stack.exe.
  2. Stáhněte a nainstalujte VS Code https://code.visualstudio.com/#alt-downloads
  3. Otevřete cmd a napište: 
    stack install intero phoityne-vscode haskell-dap --system-ghc
  4. Otevřete soubor c:\sr\config.yaml a přidejte řádek 
    system-ghc: true
    • Atribut --system-ghc je volitelný a nadbytečný pro předchozí krok (je to stejné nastavení, ale globální).
  5. 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.

  1. Stáhněte a nainstalujte platformu Haskell z https://www.haskell.org/platform/windows.html
  2. * Pro stack použijte cestu přístupnou všem uživatelům (například c:\stack). Instalační program přidá do uživatelské proměnné PATH cestu ke spustitelnému stack.exe a přidá novou uživatelskou proměnnou STACK_ROOT. Přesuňte tyto hodnoty z uživatelských proměnných do systémových proměnných.
  3. Stáhněte a nainstalujte VS Code https://code.visualstudio.com/#alt-downloads. Použijte instalační program pro systémovou verzi.
  4. Otevřete cmd a napište: 
    stack install intero phoityne-vscode haskell-dap --system-ghc
    • Generuje některé spustitelné soubory do výchozího umístění: c:\Users\-- YOUR NAME --\AppData\Roaming\local\bin\ přesuňte je do adresáře s stack.exe.
  5. Otevřete soubor c:\sr\config.yaml a přidejte řádky: 
    system-ghc: true
skip-msys: true

    Tato nastavení šetří čas a místo na disku (nebude instalovat GHC při instalaci balíčků a MSYS2 pro každého uživatele).

  6. Otevřete VS kód a nainstalujte rozšíření:
    • Haskero
    • Haskell GHCi Debug Adapter Phoityne

Instalační příručka Ubuntu (jeden uživatel)

  1. Proveďte následující příkazy: 
    sudo apt-get install haskell-platform
sudo apt-get install haskell-stack
instalační kód sudo snap - klasický
    • 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 stack path) a změnit globální resolver v souboru ~/.stack/global-project/stack.yaml na lts-12.15. Poté otevřete soubor ~/.stack/config.yaml a přidejte řádky:
    system-ghc: true
skip-ghc-check: true
  2. Pokračujte v instalaci požadovaných balíčků: 
    stack install intero phoityne-vscode haskell-dap
  3. Otevřete VS kód a nainstalujte rozšíření:
    • Haskero
    • Haskell GHCi Debug Adapter Phoityne

Instalační příručka Ubuntu (všichni uživatelé)

  1. Proveďte následující příkazy: 
    sudo apt-get install haskell-platform
sudo apt-get install haskell-stack
instalační kód sudo snap - klasický
  2. Vytvořte adresář, který bude kořenem zásobníku, měl by být čitelný pro všechny uživatele (například / stack ).
  3. Vytvořte soubor /etc/profile.d/stack.sh s následujícím řádkem: export STACK_ROOT = váš kořenový adresář zásobníku
  4. Vytvořte soubor /etc/stack/config.yaml s následujícími řádky: 
    skip-ghc-check: true
system-ghc: true
allow-different-user: true
  5. Generujte globální konfiguraci zásobníku (například cestu zásobníku ) a změňte globální překladač v souboru $ STACK_ROOT / global-project / stack.yaml na lts- 12.15 .
  6. Pokračujte v instalaci požadovaných balíčků: 
    stack install intero phoityne-vscode haskell-dap
  7. Vytvoří některé spustitelné soubory, které je ~ / .local / bin zkopírují do: / usr / local / bin (nebo jiného vyhledávání při provádění umístění).
  8. Otevřete VS kód a nainstalujte rozšíření:
    • Haskero
    • Haskell GHCi ladicí adaptér Phoityne

Prezentace

Prezentace použitá v našich přednáškách v PDF

Rozvrh:

Cvičení

Retrieved from "http://behalek.cs.vsb.cz/wiki/index.php?title=Functional_programming/cs&oldid=1664"