Описание тега free-variable
0
ответов
Пролог возвращает числа вместо слов
Я пытаюсь получить значение, возвращаемое через переменную A такие как lovesОднако я получаю результат, как _382 вместо. Вот запрос: ?- checksyn(likes,Result). я бы хотел Result возвращать lovesне _628, Разве это не обязательно? Я не уверен. Вот код…
13 дек '17 в 20:45
1
ответ
Уничтожить тип в Юлии
Я должен уничтожить какой-то тип в Джулии, который выглядит так: type City x::Int y::Int index::Int end и я хочу сделать функцию как destroy(City) который удалит это. Является ли это возможным? Спасибо за ваши ответы
07 апр '17 в 19: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
ответ
Разница между "свободной переменной" и "свободным появлением переменной" в контексте лямбда-исчисления
Есть ли разница между свободной переменной и свободным вхождением переменной в контексте лямбда-исчисления? Если да, то, пожалуйста, объясните с примером или двумя. На самом деле я проходил правила преобразования лямбда-выражения, где наткнулся на с…
07 мар '16 в 18:27
2
ответа
Поиск списка / карты свободных переменных в замыкании в Groovy
Это мой простой отличный сценарий; def fourtify(String str) { def clsr = { str*4 } return clsr } def c = fourtify("aa") println("binding variables: ${c.getBinding().getVariables()}") ... Все, что я пытаюсь сделать здесь, это получить доступ к свобод…
16 окт '18 в 15:32
4
ответа
Что такое свободные переменные?
Определение закрытия Javascript гласит: "Закрытие" - это выражение (обычно функция), которое может иметь свободные переменные вместе со средой, которая связывает эти переменные (которая "закрывает" выражение). Может кто-нибудь объяснить мне понятие …
17 окт '12 в 13:00
1
ответ
Свободные переменные рассматриваются как глобальные в Python?
В разделе " Модель выполнения" справочного руководства по Python 3.7 я прочел следующее утверждение: global Оператор имеет ту же область действия, что и операция привязки имени в том же блоке. Если ближайшая область для свободной переменной содержит…
05 окт '18 в 13:18
1
ответ
Haskell - определить множество свободных и ограниченных переменных функции
Я должен определить множество свободных и ограниченных переменных функции s1 и s2: s1 := \x -> if y then \z -> (x \y -> y) else (\z -> w) x Итак, для s1 я напишу: FV(s1):= FV (y) ∪ FV (x) ∪ FV (w) Я прав? Или это должно быть: FV(s1):= FV…
14 май '13 в 19:11
3
ответа
Может ли чистая функция иметь свободные переменные?
Например, ссылочно-прозрачная функция без свободных переменных: g op x y = x `op` y А теперь теперь функция со свободным (с точки зрения f) переменные op а также x: x = 1 op = (+) f y = x `op` y f также ссылочно прозрачно. Но это чистая функция? Есл…
07 апр '14 в 14:09
2
ответа
Python - создание массива, в котором элементы являются функцией переменного параметра, без создания массива каждый раз
TLDR: Как я могу сгенерировать массив, элементы которого зависят от некоторого произвольного (плавающего) значения k, без необходимости проходить через чрезвычайно дорогостоящий процесс создания массива с нуля каждый раз, когда я изменяю значение k.…
21 авг '18 в 14:35
2
ответа
Время привязки свободных переменных указанных терминов в схеме
Я пытаюсь понять, как работает феномен цитаты в Схеме. В частности, я хотел бы понять, когда связаны свободные переменные цитируемых терминов. Например, когда я пишу (define q 'a) (define a 42) (eval q) он возвращает 42. Таким образом, я делаю вывод…
03 май '16 в 16:07
2
ответа
Возврат списка свободных (несвязанных) переменных в SML
Я создал свои собственные типы данных: datatype typ = Bool | Int | Arrow of typ*typ; (* i.e., Arrow(argType, returnType) *) (* diMLazy expressions *) datatype expr = TrueExpr | FalseExpr | IntExpr of int | VarExpr of string | PlusExpr of expr*expr |…
26 фев '17 в 20:55
1
ответ
`del` оператор и свободные переменные
Тестируя некоторый код Python сегодня, я попробовал следующий код: (Следующее работает на Python 3.2+, хотя предыдущие версии будут поднимать SyntaxError когда del используется и ссылка на переменную во вложенной области видимости) def x(): N = 200 …
25 сен '15 в 17:43
1
ответ
Свободные переменные в Coq
Есть ли какая-либо функция / команда, чтобы получить / проверить, существует ли свободная переменная, скажем, n:U, в термине / выражении e, используя Coq? Поделись, пожалуйста. Например, я хочу заявить, что "n не встречается в свободных именах e" в …
16 июл '12 в 09:17
1
ответ
Как получить доступ к БЕСПЛАТНОЙ переменной функции извне
Давайте рассмотрим, что у нас есть функция и внутренняя функция, подобная этой (которую мы не можем изменить): from functools import wraps def outer_f(some_callable): def inner_f(v): return some_callable(v) + 1 return inner_f И мы получаем только фу…
17 июл '16 в 21:05
3
ответа
Список свободных переменных в выражении EL
У меня есть приложение, которое содержит некоторые оценки EL, используемые для программной конфигурации. Учитывая выражение EL, я хочу получить, какие свободные переменные он содержит, фактически не оценивая его. Цель состоит в том, чтобы предостави…
06 авг '12 в 12:58
3
ответа
Как в реальном коде может произойти "NameError: свободная переменная 'var', на которую ссылаются перед присваиванием в пределах объема"?
Пока я болтался в чате Python, кто-то зашел и сообщил следующее исключение: NameError: free variable 'var' referenced before assignment in enclosing scope Я никогда раньше не видел такого сообщения об ошибке, и пользователь предоставил только неболь…
11 июл '14 в 22:12
2
ответа
Что такое свободные и связанные переменные?
Я программировал долгое время (на самом деле слишком долго), но я действительно изо всех сил пытаюсь понять термины "Свободные переменные" и "Связанные переменные". Большинство "объяснений", которые я нашел в Интернете, начинаются с обсуждения таких…
18 фев '14 в 13:50
1
ответ
Список свободных переменных лямбда-выражения
Я просто делал домашнюю работу для моего предстоящего теста OCaml, и у меня возникли некоторые проблемы. Рассмотрим язык λ-терминов, определенных следующим абстрактным синтаксисом (где x - переменная): t ::= x | t t | λx. t Напишите типовой термин д…
09 дек '12 в 00:14
2
ответа
Какие переменные влияют на функцию Clojure?
Как программно определить, какие переменные могут повлиять на результаты функции, определенной в Clojure? Рассмотрим это определение функции Clojure: (def ^:dynamic *increment* 3) (defn f [x] (+ x *increment*)) Это функция x но также из *increment* …
27 фев '12 в 20:07