Назначение ниладической функции
Нениладическая функция Ф может быть присвоена переменной г с
G ← F
Однако, если Ф является ниладическим, как мне предотвратить его оценку?
Ответы 3
Вы не можете.
В некотором смысле ниладические функции ведут себя как массивы, за исключением того, что их значение не определено до тех пор, пока они не будут использованы. Это также означает, что они демонстрируют семантику значений, а не семантику ссылок. Обратите также внимание, что ниладические функции не могут быть операндами операторов, а скорее их результат станет операндом.
Способ обойти обе эти проблемы — обернуть функцию niladic в dfn, чтобы она принимала фиктивный аргумент (или два), и, таким образом:
G←{F}
@JeppeStigNielsen Это не оценивается, потому что функции применяются только при заданных аргументах, а ∘ - это просто обычный двоичный оператор, поэтому ⍬∘{F}∘⍬ получает функцию, которую вы можете назначить. Однако это не более значимо, чем, скажем, ⍬∘⍬, у которого также нет действительных приложений. Вы все еще можете «использовать» его, например. в ⍬∘{F}∘⍬ / 42
APL оценивает выражения справа налево. Как только все аргументы функции присутствуют, функция оценивается, и функция и ее аргументы заменяются результатом оценки.
Теперь рассмотрим ваш пример G ← F. Если F монадический или дуадический, то F не может быть оценен, потому что его правый аргумент отсутствует. В терминологии синтаксического анализатора лексема F сдвигается, а не сокращается. Первое выражение, которое может быть сокращено, — это G ← F, которое присваивает F G.
С другой стороны, если F является ниладическим, то F может быть (и, следовательно, будет) оцениваться немедленно (скажем, с результатом Z), так что присваивание будет G ← Z, а не G ← F.
Я не уверен, что вы пытаетесь сделать, поэтому простите меня за ответ на неправильный вопрос.
Для меня это звучит так, как будто вам нужен необязательный правильный аргумент. В APL2 я бы сделал что-то вроде этого:
'' ⎕EA 'G ←F ра'
Если ra не определено, будет обнаружена ошибка значения, и ничего не произойдет. Если вы хотите значение по умолчанию для G, сделайте это назначение слева от EA.
Некоторые диалекты APL позволяют рассматривать функцию как своего рода значение, используя ← для присвоения таких значений функции имени, что напоминает некоторые предложения Айверсона. Например. Sum←{+/⍵} (⍵ — правильный аргумент) и даже Sum←+/. Они также могут разрешать использование имен функций в дальнейших определениях функций, например. ColSum←Sum⍉. Однако это не работает для ниладических функций, поскольку они сразу же возвращают значение, а не лечиться в качестве значения. ОП спрашивает, как это сделать для ниладических функций.
Интересный. Я могу «убрать» один фиктивный аргумент с Связывать с
G←⍬∘{F}. По крайней мере, теперьGне амбивалентен, остался только один фиктивный аргумент. Если я попытаюсь убрать и последний аргумент, как вG←(⍬∘{F})∘⍬, то я добьюсь успеха в том смысле, чтоFне вызывается/не оценивается немедленно. Однако я не знаю, как мне вызвать эту последнюю функциюG.