Редактор субтитров А.Синецкая Корректор А.Егорова
Редактор субтитров Н.Александрова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Кулакова
Корректор А.Егорова
Корректор А.Егорова
Корректор А.Егорова
Корректор А.Егорова
Корректор А.Егорова
Корректор А.Егорова
Корректор А.Егорова
Корректор А.Егорова
Корректор А.Егорова
Так что это работает так.
И с этим мы можем определить плазмстар.
И так мы говорим, что
функция f, которая идёт от x до листа по y,
мы можем определить f,
который идёт от x до листа по y.
И тогда мы можем использовать то же принцип,
мы можем определить это,
если мы говорим, что f,
что на ненастоящей линии,
и что это на нанастоящей линии.
Так что мы говорим, что
f' не на нанастоящей линии.
Так что мы говорим, что f' не на нанастоящей линии.
Ну, это просто на нанастоящей линии.
И f' на конструкции листа
это тогда подданное...
Ну, мы можем сначала взять f' из x.
f' из x является листом по y.
И f' из x является листом по y.
И мы можем сделать конкретные ответы,
которые мы уже определили.
Так, мы уже определили.
Я спрашиваю,
как мы определили f' на нанастоящей линии?
Мы пытались найти
наношение монат,
наношение операций листа.
Presenters
Zugänglich über
Offener Zugang
Dauer
02:32:13 Min
Aufnahmedatum
2015-07-03
Hochgeladen am
2019-04-26 04:09:03
Sprache
en-US
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.