Я хочу сделать символическую программу дифференциации в OZ Mozart, но я застрял, не знаю, как начать, в прологе будет что-то вроде правил ниже, но мне нужна помощь по крайней мере в как сделать наибол
Допустим, мы имеем следующий код: local L in
L = {List.make 10 $}
% Bind nth element to something here
end
Как один набор любого из этих несвязанных значений? Oz List Documentation не про
declare
fun {Beta E}
case E
of lambda(X [Y Z]) andthen {IsAtom Y} then Z
else nil
end
end
{Browse {Beta lambda(y [y a]) }}
Я пытаюсь сделать бета-редуктор для лямбда-исчи
Мне нужно генерировать имена функций, которые я не знаю заранее, чтобы сделать запись. Запись должна выглядеть так: record(day1:[...] day2:[...] day3:[...] ...). Поскольку я не знаю, сколько дней буде