Если функция вызывается с использованием Call-by-Reference , то любые изменения, внесенные в переменную внутри функции, немедленно воздействуют на вызывающую сторону. А для Call-by-Sharing он затрагивается в конце функции. Вопрос 1....

В лямбда-исчислении, если термин имеет нормальную форму, нормальная стратегия уменьшения порядка всегда будет производить его. Мне просто интересно, как строго доказать приведенное выше утверждение?

Вопрос Есть ли способ объявить аргументы функции нестрогими (передаются по имени ) ? Если это невозможно напрямую: есть ли какие-либо вспомогательные функции или декораторы, которые помогут мне добиться чего-то подобного? Конкретный...