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)
 
(22 intermediate revisions by 2 users not shown)
Line 10: Line 10:
 
*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, dostupné zdarma na: https://en.wikibooks.org/wiki/Haskell
+
*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. 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.  
Line 53: Line 52:
  
 
Rozvrh:
 
Rozvrh:
−
# [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, 18.9.)
+
# [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.)
−
# [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, 25.9.)
+
# [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.)
−
# [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, 2.10.)
+
# [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.)
−
# [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=72 Page 70] (2 hour, PORUA1, 9.10)
+
# [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)
−
# No lecture (16.10.)
+
# No lecture (21.10.)
−
# Summary before test and hints for Homework 1 (POREC1, 23.10.)
+
# Summary before test (POREC1, 28.10.)  
−
# No lecture (30.10.)
+
# [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.)  
−
# [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, POREC1, 6.11.) + Solutions for Test 1
+
# Advanced topics (2 hours, POREC1, 11.11.) + Solutions for Test 1
−
# Advanced topics (1 hours, POREC1, 13.11.) + Solutions for Homework 1  
+
# Advanced topics (1 hours, POREC1, 18.11.) + Summary before Test 2
−
# Advanced topics (2 hours, POREC1, 20.11.)
+
# Advanced topics (1 hours, POREC1, 25.11.) + Summary before Test 3
−
# Advanced topics (1 hours, POREC1, 27.11.)
+
# No lecture - (2.12.)  
−
# Summary before test and hints for Homework 1 (POREC1, 4.12.)
+
# No lecture - (9.12.)  
−
# No lecture - last week in semester (11.12.)  
 
  
 
== Cvičení ==
 
== Cvičení ==
Line 74: Line 72:
 
# [[FP_Laboratory_4 | Laboratory 4]]
 
# [[FP_Laboratory_4 | Laboratory 4]]
 
# [[FP_Laboratory_5 | Laboratory 5]]
 
# [[FP_Laboratory_5 | Laboratory 5]]
−
# [[FP_Laboratory_7 | Laboratory 7]] + [[FP_Laboratory_6 | Laboratory 6]]
+
# [[FP_Laboratory_6 | Laboratory 6]] + [[FP_Laboratory_7 | Laboratory 7]]
 
# First programming test
 
# First programming test
−
# [[FP_Laboratory_9 | Laboratory 9]]  + 1. Homework
+
# [[FP_Laboratory_9 | Laboratory 9]]  +[[FP_Laboratory_10 | Laboratory 10]]
−
# [[FP_Laboratory_10 | Laboratory 10]]
 
 
# [[FP_Laboratory_11 | Laboratory 11]]
 
# [[FP_Laboratory_11 | Laboratory 11]]
 
# Second programming test
 
# Second programming test
−
# 2. Homework + credits for the subject given. Student can repeat one of their tests.
+
# Third programming test
 +
# Credits for the subject given. Student can repeat one of their tests.
  
 
Optional:
 
Optional:
Line 87: Line 85:
  
 
== Domácí úkoly ==
 
== 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_1 | Domácí úkol 1]]
 
* [[FP_Homework_2 | Domácí úkol 2]]
 
* [[FP_Homework_2 | Domácí úkol 2]]
Line 93: Line 93:
 
== Kombinované studium ==
 
== Kombinované studium ==
 
=== Tutoriál 1 ===  
 
=== Tutoriál 1 ===  
−
* Presentace [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=1 Začátek] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=36 Page 34]
+
* 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 | Cvičení 1]]
+
* [[FP_Laboratory_1 | Laboratory 1]]
−
* [[FP_Laboratory_2 | Cvičení 2]]
+
* [[FP_Laboratory_2 | Laboratory 2]]
  
 
=== Tutoriál 2 ===  
 
=== Tutoriál 2 ===  
−
* Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=37 Page 35] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=48 Page 46]
+
* 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 | Cvičení 3]]
+
* [[FP_Laboratory_3 | Laboratory 3]]
−
* [[FP_Laboratory_4 | Cvičení 4]]
+
* [[FP_Laboratory_4 | Laboratory 4]]
 +
* Proběhne písemný test (10 bodů).
  
 
=== Tutoriál 3 ===  
 
=== Tutoriál 3 ===  
−
* Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=49 Page 47] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=65 Page 63]
+
* 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 | Cvičení 5]]
+
* [[FP_Laboratory_5 | Laboratory 5]]
−
* [[FP_Laboratory_6 | Cvičení 6]]
+
* [[FP_Laboratory_6 | Laboratory 6]]
−
* [[FP_Laboratory_7 | Cvičení 7]]
+
* [[FP_Laboratory_7 | Laboratory 7]]
−
* Na tomto tutoriálu proběhne krátký test (10 bodů)
+
* Na tomto tutoriálu proběhne písemný test (10 bodů)
−
* Bude přiřazen první domácí úkol.
+
 
  
 
=== Tutoriál 4 ===  
 
=== Tutoriál 4 ===  
−
* Prezentace [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=82 Page 80]
 
−
* [[FP_Laboratory_9 | Cvičení 9]]
 
−
* [[FP_Laboratory_10 | Cvičení 10]]
 
−
* [[FP_Laboratory_11 | Cvičení 11]]
 
−
* Bude ohodnocen první domácí úkol (25 bodů).
 
 
* První programovací test (20 bodů).
 
* První programovací test (20 bodů).
  
 
=== Tutoriál 5 ===  
 
=== Tutoriál 5 ===  
−
* Bude zadán druhý domácí úkol.
+
* 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]
−
* Prezentace [http://linedu.vsb.cz/~beh01/wiki_data/FP_advanced.pdf#page=1 Začátek] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_advanced.pdf#page=55 Page 53] (volitelné, látka nebude součástí testu)
+
* 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
−
* [[FP_Laboratory_12 | Cvičení 12]] (volitelné, látka nebude součástí testu)
+
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 ===  
 
=== Tutorial 6 ===  
−
* Bude ohodnocen druhý domácí úkol (25 bodů).
 
 
* Druhá programovací úloha (20 bodů).
 
* 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"