Difference between revisions of "Functional programming"

From Marek Běhálek Wiki
Jump to navigation Jump to search
Line 68: Line 68:
 
</translate>
 
</translate>
 
# [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=1 Beginning] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=31 Page 29] (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=31 Page 29] (2 hours, PORUA1, 18.9.)
# [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=32 Page 30] - [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=32 Page 30] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=49 Page 47] (2 hours, PORUA1, 25.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=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=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=58 Page 56] - [http://linedu.vsb.cz/~beh01/wiki_data/FP_basics.pdf#page=72 Page 70] (2 hour, PORUA1, 9.10)

Revision as of 13:35, 25 September 2023

Basic introduction

The course introduces the functional style of programming. It covers basic properties of the functional programming like: the side effect-free programming, functions as first-class values, high-order functions, recursion, pattern matching, or function closures. Also, course introduces selected data structures like a list and a tree and a functional style of working with these structures. As a programming language, Haskell will be used. It is a pure functional, statically typed, lazy evaluated language.

Subject aims expressed by acquired skills and competences

The basic outcome of this course will be the ability to write simple algorithms using a functional style of programming. More precisely, students will understand recursion and recursive data structures, they will be able to use high-order functions, and they will be able to define functions using the pattern matching. They will be able to use functional encapsulation mechanisms such as closures and modular interfaces and correctly reason about variables and lexical scope in programs. On practical level, they will be able to write these basic algorithms in programming language Haskell. Moreover, they will be able to recognize functional style of programming, they will understand advantages and disadvantages of this style of programming and they will be able to compare this style of programming with other approaches like imperative or object-oriented programming.

Recommended literature

  • 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.

Way of continuous check of knowledge in the course of semester

During the exercises, students will be programming assigned tasks. Additionally, two smaller projects will be given.

Software

In our lectures, we will be using Haskell Platform with Visual Studio Code. For VS Code, we will be using an extension:

More information about various options for work environments can be found: Installation Guide

Presentations

Presentations used in our lectures:

Ú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

Schedule:

  1. Beginning - Page 29 (2 hours, PORUA1, 18.9.)
  2. Page 30 - Page 47 (2 hours, PORUA1, 25.9.)
  3. Page 43 - Page 55 (2 hour, PORUA1, 2.10.)
  4. Page 56 - Page 70 (2 hour, PORUA1, 9.10)
  5. No lecture (16.10.)
  6. Summary before test and hints for Homework 1 (POREC1, 23.10.)
  7. No lecture (30.10.)
  8. Page 71 - Page 80 (1 hour, POREC1, 6.11.) + Solutions for Test 1
  9. Advanced topics (1 hours, POREC1, 13.11.) + Solutions for Homework 1
  10. Advanced topics (2 hours, POREC1, 20.11.)
  11. Advanced topics (1 hours, POREC1, 27.11.)
  12. Summary before test and hints for Homework 1 (POREC1, 4.12.)
  13. No lecture - last week in semester (11.12.)

Laboratories

  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:

Cheat sheet containing basic functions in PDF

Homework

Combine study

Tutorial 1

Tutorial 2

Tutorial 3

Tutorial 4

Tutorial 5

Tutorial 6

  • Second homework will be evaluated (25 points).
  • Second programming exercise (20 points)