Описание тега bound-variable
Связанная переменная - это переменная, которая ранее была свободной, но была привязана к определенному значению или набору значений.
1
ответ
Является ли num связанной переменной или свободной переменной?
def function() num = 1 num += 1 return num Является ли num связанной переменной или свободной переменной? PS Этот код написан на python. Там нет прежнего кода впереди этого.
31 дек '14 в 09:26
1
ответ
Копировать термин с переменными без привязки переменных
С SWI-Прологом. Как можно копировать термин с переменными без привязки переменных? Что я пробовал Я пробовал copy_term / 2 и duplicate_term / 2 Например: foo(c). foo(E) :- E = bar(a,b,X), copy_term(E,Ec), duplicate_term(E,Ed), write("E: "),write(E),…
21 фев '17 в 14:47
1
ответ
Алгоритм PT для вывода типа ML
Чтобы алгоритм PT для вывода типа ML работал, входное выражение программы должно иметь свойство отличия каждой связанной переменной. Может кто-нибудь объяснить это на примере?
22 фев '16 в 21:54
1
ответ
Разница между "свободной переменной" и "свободным появлением переменной" в контексте лямбда-исчисления
Есть ли разница между свободной переменной и свободным вхождением переменной в контексте лямбда-исчисления? Если да, то, пожалуйста, объясните с примером или двумя. На самом деле я проходил правила преобразования лямбда-выражения, где наткнулся на с…
07 мар '16 в 18:27
1
ответ
Ошибка связанных переменных SQL
Я получаю ошибку в своем коде. Я уверен, что это означает, что что-то не так с разделом column =: variable моего кода, но я прошел через это и не вижу, что не так. Fatal error: Uncaught exception 'PDOException' with message 'SQLSTATE[HY093]: Invalid…
11 май '15 в 13:04
1
ответ
Предотвращение бесконечной рекурсии, но все еще использование только несвязанной передачи параметров
У меня есть следующая рабочая программа: (Она может быть протестирована на этом сайте: http://swish.swi-prolog.org/, я удалила прямую ссылку на сохраненную программу, потому что я заметила, что любой может ее редактировать.) Он ищет путь между двумя…
11 окт '16 в 16:35
0
ответов
Связанная переменная и приятная
Я привык использовать apply семейные функции, чтобы избежать for цикл с R. В этом контексте мне было интересно, что есть способ избежать ввода связанной переменной. Например, скажем, я хочу сделать 100 раз операцию do.call(myfun, args), С for Я бы н…
13 авг '15 в 09:55
1
ответ
Как связать возвращаемую локальную переменную функции с параметром метода?
Я хотел бы получить следующий код PHP для работы. Часть, которая не работает, - это то, что внутренняя переменная $greetingCount (локальная переменная возвращаемой функции) не привязана к внешней переменной $greetingCount (переменная параметра метод…
10 фев '15 в 16:53
2
ответа
Что такое свободные и связанные переменные?
Я программировал долгое время (на самом деле слишком долго), но я действительно изо всех сил пытаюсь понять термины "Свободные переменные" и "Связанные переменные". Большинство "объяснений", которые я нашел в Интернете, начинаются с обсуждения таких…
18 фев '14 в 13:50
3
ответа
Будет ли рекурсивно вызываемая переменная свободной или связанной?
Я пытаюсь лучше понять свободные и связанные переменные. Вот пример кода: (define (what-kind-of-var? guess x) (< (abs (- (square guess) x)) 0.001)) Я вижу, что связанные переменные здесь будут guess а также x, и свободные переменные <, abs, -,…
10 фев '20 в 08:47
3
ответа
Ошибка при получении вновь вставленной записи через триггер-PLSQL
Я пытаюсь создать триггер в таблице EMP, который будет проверять вставки в таблице EMP_AUDIT и отправлять почту на соответствующий empno. Я не получаю только что вставленную запись во вложение CSV, которое создается в v_block_query. Я хочу получить …
20 фев '20 в 12:26
3
ответа
Можно ли написать структуру данных или структуры данных, которые представляют только закрытые термины на Haskell или на любом другом языке?
Используя нотацию Де Брёйна, можно определить лямбда-термины как: data BTerm = BVar Int | BLam BTerm | BApp BTerm BTerm Или используя обычные обозначения, data Term = Var String | Lam String Term | App Term Term Эти два типа данных позволяют создава…
29 май '21 в 09:08
1
ответ
Являются ли переменные, связанные со свободными переменными, все еще свободными переменными?
Я смотрю на некоторые вопросы в своем учебнике о том, являются ли переменные свободными или связанными. Я не уверен в этих двух особенно. Во-первых, я хочу убедиться, что понимаю концепцию свободного и связанного. Я совершенно уверен, что этот x явл…
29 окт '21 в 22:55