Programming paradigms

From Marek Běhálek Wiki
Jump to navigation Jump to search

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

Introduction to advanced topics of functional programming

Schedule:

Laboratories

Solutions to tasks form laboratories: Solution

Cheat sheet containing basic functions in PDF

Homework