Monad-Based Programming 2015 /CourseID:785

Detailed information

Keywords: functional monads programming haskell equational reasoning

Most recent entry on 2015-07-15 

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Free

Language

English

The course provides a background to various topics of the theory of programming. As a guiding paradigm monad-based functional programming is chosen. The idea of the course is to provide clear computational insights to various concepts of computer science and to practice these by concrete implementations in suitable programming languages such as Haskell.

Lernziele und Kompetenzen:

 

Fachkompetenz
Wissen
Students demonstrate an understanding of the role of computational monads in the context of functional programming and as a semantic tool for programming and system specification; Students reproduce the main definitions and results on monads, monad combination, and further categorical constructions end explain them from a programming perspective.
Anwenden
Students use the monad-based approach to formalise examples involving various kinds of computational effects as monads. Students use monads for practical programming in programming languages, such as Haskell.
Analysieren
Students identify various computational effects as monads and provide an appropriate treatment of problems from various semantic domains (probabilistic, nondeterministic, concurrent), possibly providing a monad-based software implementation.
Selbstkompetenz
Students will be regularly provided with small challenges in form of exercises to be able to have a gradual progress with the lecture material.
 
 

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Monad-Based Programming
Dr. Sergey Goncharov
2015-04-14
Free
00:48:51
2
Monad-Based Programming
Dr. Sergey Goncharov
2015-04-15
Free
01:24:11
3
Monad-Based Programming
Dr. Sergey Goncharov
2015-04-21
Free
01:32:23
4
Monad-Based Programming
Dr. Sergey Goncharov
2015-04-22
Free
01:28:41
5
Monad-Based Programming
Dr. Sergey Goncharov
2015-04-28
Free
01:27:24
6
Monad-Based Programming
Dr. Sergey Goncharov
2015-04-29
Free
01:30:27
7
Monad-Based Programming
Dr. Sergey Goncharov
2015-05-05
Free
01:30:29
8
Monad-Based Programming
Dr. Sergey Goncharov
2015-05-06
Free
01:28:31
9
Monad-Based Programming
Dr. Sergey Goncharov
2015-05-12
Free
01:33:11
10
Monad-Based Programming
Dr. Sergey Goncharov
2015-05-13
Free
01:23:34
11
Monad-Based Programming
Dr. Sergey Goncharov
2015-05-19
Free
01:28:55
12
Monad-Based Programming
Dr. Sergey Goncharov
2015-05-20
Free
01:25:06
13
Monad-Based Programming
Dr. Sergey Goncharov
2015-05-27
Free
01:24:49
14
Monad-Based Programming
Dr. Sergey Goncharov
2015-06-02
Free
01:32:47
15
Monad-Based Programming
Dr. Sergey Goncharov
2015-06-03
Free
01:29:22
16
Monad-Based Programming
Dr. Sergey Goncharov
2015-06-09
Free
01:29:48
17
Monad-Based Programming
Dr. Sergey Goncharov
2015-06-10
Free
01:27:36
18
Monad-Based Programming
Dr. Sergey Goncharov
2015-06-16
Free
01:24:31
19
Monad-Based Programming
Dr. Sergey Goncharov
2015-06-17
Free
01:31:39
20
Monad-Based Programming
Dr. Sergey Goncharov
2015-06-30
Free
01:26:23
21
Monad-Based Programming
Dr. Sergey Goncharov
2015-07-01
Free
01:25:38
22
Monad-Based Programming
Dr. Sergey Goncharov
2015-07-02
Free
01:31:49
23
Monad-Based Programming
Dr. Sergey Goncharov
2015-07-03
Free
02:32:13
24
Monad-Based Programming
Dr. Sergey Goncharov
2015-07-07
Free
01:25:20
25
Monad-Based Programming
Dr. Sergey Goncharov
2015-07-08
Free
01:26:43
26
Monad-Based Programming
Dr. Sergey Goncharov
2015-07-14
Free
01:32:12
27
Monad-Based Programming
Dr. Sergey Goncharov
2015-07-15
Free
01:25:26

More courses from Dr. Sergey Goncharov

Schloss1
Dr. Sergey Goncharov
2019-07-18
Passwort
Schloss1
Dr. Sergey Goncharov
2015-07-15
Free

More courses in this category "Technische Fakultät"

Stamminger, Marc
Prof. Dr. Marc Stamminger
2015-01-22
Studon
Schloss1
Prof. Dr. Peter Felfer
2020-06-05
IdM-login
Schloss1
Prof. Dr. Richard Lenz
2020-07-01
IdM-login / Studon
Schloss1
Dipl.-Ing. Marc Aubreville
2020-07-02
IdM-login / Studon
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-21
Free