FunctionalProgramming2 2013

Лектор -

Практика -

Содержание

Задачи:

1. Есть тип из haskell: Bool, домен: _|_ < false, _|_ < true, true и false не сравнимы.

Сколько элементов в домене, соответствующем типу Bool -> Bool?

2. Функция seq :: a -> b -> b

seq _|_ _ = _|_

seq _ b = b

Доказать: seq -- непрерывна.

3. Придумайте пример монотонной, но не непрерывной функции.

4. Рассмотрим наибольший элемент T: \forall x : x < T.

Максимальный элемент m:\forall x : x \geq m => x это m.

Придумайте пример частично упорядоченного множества, в котором есть ровно один максимальный элемент, но нет наибольшего.