Difference between revisions of "Functional programming/cs"

From Marek Běhálek Wiki
Jump to navigation Jump to search
(Updating to match new version of source page)
Line 51: Line 51:
  
 
Rozvrh:
 
Rozvrh:
−
* 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)
+
* Weak 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/FP_basics.pdf#page=35 Page 35] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=44 Page 42] (2 hours, PORUA1)
+
* Weak 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
+
* Weak 3: [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 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)
+
* Weak 4: [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 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)
+
* Weak 5: [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 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)
+
* Weak 6: Summary before Test 1 (POREC1)
−
* Lecture 7: Summary before Test 1 (POREC1)
+
* Weak 7: No lecture
−
* Lecture 8: no lecture
+
* Weak 8: [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 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
+
* Weak 9: Solutions for Homework 1 (POREC1)
−
* Lecture 10: Solutions for Homework 1 (POREC1)
+
* Weak 10: Advanced topics (2 hours, POREC1)
−
* Lecture 11: Summary before Test 2 (POREC1)
+
* Weak 11: Advanced topics (2 hours, POREC1)
−
* Lecture 12: Advanced topics (2 hours, POREC1)
+
* Weak 12: No lecture
−
* Lecture 13: Advanced topics (2 hours, POREC1)
 
−
* Lecture 14: Solutions for Homework 2 + Test 2 (POREC1)
 
  
  
 
== Cvičení ==
 
== Cvičení ==
 
{{anchor|laboratories}}
 
{{anchor|laboratories}}
−
* [[FP_Laboratory_1 | Cvičení 1]]
+
# [[FP_Laboratory_1 | Laboratory 1]]
−
* [[FP_Laboratory_2 | Cvičení 2]]
+
# [[FP_Laboratory_2 | Laboratory 2]]
−
* [[FP_Laboratory_3 | Cvičení 3]]
+
# [[FP_Laboratory_3 | Laboratory 3]]
−
* [[FP_Laboratory_4 | Cvičení 4]]
+
# [[FP_Laboratory_4 | Laboratory 4]]
−
* [[FP_Laboratory_5 | Cvičení 5]]
+
# [[FP_Laboratory_5 | Laboratory 5]]
−
* [[FP_Laboratory_6 | Cvičení 6]]
+
# [[FP_Laboratory_7 | Laboratory 7]] + [[FP_Laboratory_6 | Laboratory 6]]
−
* [[FP_Laboratory_7 | Cvičení 7]]
+
# First programming test
−
* První programovací test.
+
# [[FP_Laboratory_9 | Laboratory 9]] + 1. Homework
−
* [[FP_Laboratory_9 | Cvičení 9]] (1. Domácí úkol)
+
# [[FP_Laboratory_10 | Laboratory 10]]
−
* [[FP_Laboratory_10 | Cvičení 10]]
+
# [[FP_Laboratory_11 | Laboratory 11]]
−
* [[FP_Laboratory_11 | Cvičení 11]]
+
# Second programming test
−
* Druhý programovací test
+
# 2. Homework + credits for the subject given. Student can repeat one of their tests.
−
* [[FP_Laboratory_12 | Cvičení 12]] (2. Domácí úkol)
 
−
* Budou uděleny zápočty za tento předmět. Studenti mohou zopakovat jeden z testů.
 
  
 +
Optional:
 +
* [[FP_Laboratory_12 | Laboratory 12]]
 
Tahák se základními funkcemi v [http://linedu.vsb.cz/~beh01/wiki_data/FP_tahak.pdf PDF]
 
Tahák se základními funkcemi v [http://linedu.vsb.cz/~beh01/wiki_data/FP_tahak.pdf PDF]
  

Revision as of 09:55, 14 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/
  • 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í

Basics of functional Programming

Introduction to advanced topics of functional programming

Rozvrh:

  • Weak 1: Beginning - Page 34 (2 hours, PORUA1)
  • Weak 2: Page 35 - Page 42 (2 hours, PORUA1)
  • Weak 3: Page 43 - Page 55 (2 hour, PORUA1)
  • Weak 4: Page 56 - Page 63 (1 hour, PORUA1)
  • Weak 5: Page 64 - Page 70 (1 hour, PORUA1)
  • Weak 6: Summary before Test 1 (POREC1)
  • Weak 7: No lecture
  • Weak 8: Page 71 - Page 80 (1 hour, PORUA1) + Solutions for Test 1
  • Weak 9: Solutions for Homework 1 (POREC1)
  • Weak 10: Advanced topics (2 hours, POREC1)
  • Weak 11: Advanced topics (2 hours, POREC1)
  • Weak 12: No lecture


Cvičení

  1. Laboratory 1
  2. Laboratory 2
  3. Laboratory 3
  4. Laboratory 4
  5. Laboratory 5
  6. Laboratory 7 + Laboratory 6
  7. First programming test
  8. Laboratory 9 + 1. Homework
  9. Laboratory 10
  10. Laboratory 11
  11. Second programming test
  12. 2. Homework + 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

Kombinované studium

Tutoriál 1

Tutoriál 2

Tutoriál 3

Tutoriál 4

Tutoriál 5

  • Bude zadán druhý domácí úkol.
  • Prezentace Začátek - Page 53 (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ů).
Retrieved from "http://behalek.cs.vsb.cz/wiki/index.php?title=Functional_programming/cs&oldid=3149"