Главная /
Функциональное программирование /
Как определяется множество значений для типа, описанного как type tree = {nil} + int X treeX tree?
Как определяется множество значений для типа, описанного как type tree = {nil} + int X treeX tree
?
вопрос
Правильный ответ:
как решение доменного уравнения
D = { nil } + int XDXD
как неподвижная точка функции
it.nil+x*t*t
как множество троек
<i,l,r>, i∈Int, l,r∈ tree
Сложность вопроса
92
Сложность курса: Функциональное программирование
54
Оценить вопрос
Комментарии:
Аноним
Зачёт всё. Иду в бар отмечать 5 в зачётке по тесту
10 июн 2019
Аноним
Если бы не данные решения - я бы не решил c этими тестами интуит.
10 апр 2016
Другие ответы на вопросы из темы программирование интуит.
- # Что необходимо сделать для вывода типов в некотором выражении?
- # Возможно ли построить автоматический верификатор произвольных функциональных программ на зацикливаемость?
- # В чем разница между записями <@ fun x→ x*2 @> и fun x→ <@ x*2 @>?
- # Какие языки программирования являются преимущественно функциональными?
- # Какая рекурсия называется линейной?