Functional programming
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/
- 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.
Way of continuous check of knowledge in the course of semester
During the exercises, students will be programming assigned tasks. The results of these tasks will be the crucial part of the final evaluation. 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 two extensions:
Installation guide Windows (single user)
- Download and install Haskell platform from https://www.haskell.org/platform/windows.html
- Use default paths. Installer adds to system variable
PATH
a path to executablestack.exe
.
- Use default paths. Installer adds to system variable
- Download and install VS Code https://code.visualstudio.com/#alt-downloads
- Open
cmd
and type:stack install intero phoityne-vscode haskell-dap --system-ghc
- Open file
c:\sr\config.yaml
and add a linesystem-ghc : true
- Attribute
--system-ghc
is optional and redundant to previous step (it is the same setting, but global).
- Attribute
- Open VS Code and install extensions:
- Haskero
- Haskell GHCi Debug Adapter Phoityne
Installation guide Windows (all users)
This guide assumes, that there is on user, that prepares the development environment for other user.
- Download and install Haskell platform from https://www.haskell.org/platform/windows.html
- * For
stack
, use a path accessible to all user (for examplec:\stack
). Installer adds to user variablePATH
a path to executablestack.exe
, and adds a new user variableSTACK_ROOT
. Move these values from user variables to system variables. - Download and install VS Code https://code.visualstudio.com/#alt-downloads. Use the system installer.
- Open
cmd
and type:stack install intero phoityne-vscode haskell-dap --system-ghc
- It will generate some executable files to default location:
c:\Users\ -- YOUR NAME -- \AppData\Roaming\local\bin\
move them to the directory withstack.exe
.
- It will generate some executable files to default location:
- Open file
c:\sr\config.yaml
and add lines:system-ghc : true skip-msys : true
These settings save time and space on disk (it will not install GHC while installing packages and MSYS2 for every user).
- Open VS Code and install extensions:
- Haskero
- Haskell GHCi Debug Adapter Phoityne
Installation guide Ubuntu (single users)
- Perform following commands:
sudo apt-get install haskell-platform sudo apt-get install haskell-stack sudo snap install code --classic
- Optional step - Right now (August, 2019) Haskell Platform from Ubuntu repositories contains GHC 8.4.4. Stack current default resolver is lts-14.00. It requires GHC version 8.6.5. It will automatically download this version. To save disk space, you can generate stack global config (for example
stack path
) and change the global resolver in file~/.stack/global-project/stack.yaml
tolts-12.15
. Then open file~/.stack/config.yaml
and add lines:
system-ghc : true skip-ghc-check: true
- Optional step - Right now (August, 2019) Haskell Platform from Ubuntu repositories contains GHC 8.4.4. Stack current default resolver is lts-14.00. It requires GHC version 8.6.5. It will automatically download this version. To save disk space, you can generate stack global config (for example
- Continue with installation of required packages:
stack install intero phoityne-vscode haskell-dap
- Open VS Code and install extensions:
- Haskero
- Haskell GHCi Debug Adapter Phoityne
Installation guide Ubuntu (all users)
-
Perform following commands:
sudo apt-get install haskell-platform sudo apt-get install haskell-stack sudo snap install code --classic
- Create a directory that will be a stack root, it should be readable by all users (for example
/opt/stack
). - Create a file
/etc/profile.d/stack.sh
with following line:export STACK_ROOT=
your stack root directory - Create a file
/etc/stack/config.yaml
with following lines:skip-ghc-check: true system-ghc: true allow-different-user: true
- Generate stack global config (for example
stack path
) and change the global resolver in file$STACK_ROOT/global-project/stack.yaml
tolts-12.15
for Ubuntu 19.04 (ghc 8.4.4)lts-8.0
for Ubuntu 18.04 (ghc 8.0.2)
- Continue with installation of required packages:
stack install intero phoityne-vscode haskell-dap
- It will produce some executable files to
~/.local/bin
copy them to:/usr/local/bin
(or other search when executing location). - Open VS Code and install extensions:
- Haskero
- Haskell GHCi Debug Adapter Phoityne
code --install-extension phoityne.phoityne-vscode code --install-extension Vans.haskero
Presentations
Presentations used in our lectures:
Basics of functional Programming
Schedule:
- Lecture 1: Page 1 - Page 37
- Lecture 2: Page 1 - Page 37
- Lecture 3: Page 1 - Page 37
- Lecture 4: Page 1 - Page 37
- Lecture 5: Page 1 - Page 37
- Lecture 6: Page 1 - Page 37
- Lecture 7: Page 1 - Page 37
Laboratories
- Laboratory 1
- Laboratory 2
- Laboratory 3
- Laboratory 4
- Laboratory 5
- Laboratory 6
- Laboratory 7
- Laboratory 8
- Laboratory 9
- Laboratory 10
- Laboratory 11
- Laboratory 12
- Laboratory 13
- There will be no lecture in the last week in semester. Projects will be evaluated and credits for the subject given.