Programming paradigms

Basic introduction

Currently, the most widely used programming languages (such as C ++, Java, PHP, C #) are imperative and integrate object-oriented programming. The aim of Programming Paradigms course is to show students less frequently used programming languages and alternative methods of software development. Examples of such technologies are a declarative style of programming, constraint programming or verification.

The course does not provide a complete overview of such technologies and it does not aim to show these technologies in detail, but alternative approaches for solving different types of problems are shown. The course is practically oriented. Students learn discussed technologies on prepared examples. Together with selected programming paradigms and technologies, also appropriate tools to work with them will be demonstrated.

After completing the course, students should know about a wide range of alternative technologies, and they should be able to recognize tasks, where they are simplifying the solution.

Subject aims expressed by acquired skills and competences

After completing the course, students should know about a wide range of alternative technologies, and they should be able to recognize tasks, for which they are simplifying the development.

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 given various homework's. This will be the crucial part of the final evaluation.

Software

We will start with Haskell. A guide how to set up the development environment for Haskell using Visual Studio Code can be found here.

Presentations

Presentation used in our lectures:

Basics of functional programming

Schedule:

• Lecture 1: Page 1 - Page 13
• Lecture 2: Page 14 - Page 20
• Lecture 3: Page 1 - Page 20
• Lecture 4: Page 1 - Page 20
• Lecture 5: Page 1 - Page 20
• Lecture 6: Page 1 - Page 20
• Lecture 7: Page 1 - Page 20

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.