如何定義自由變量
[英]How to define a free variable
我目前正在閱讀這本書 Fluent Python - Luciano Ramalho（IMO 的一本好書）。 在關於裝飾器和閉包的章節中，有一段代碼如下： 所以在這種情況下， series是一個自由變量，我可以通過打印來驗證這一點 但是當我嘗試重構make_averager()時： series ...
C#，MultiThread Lambda 使用自由變量有效嗎？
[英]C#, is MultiThread Lambda using free variable Valid?
我想在 MultiThread Lambda 表達式中使用一些自由變量。 這是例子， 無法識別什么時候Thread t Excute，連變量scope都結束了。 即使在 scope 結束之后，'int a' 有效嗎？ 謝謝你。 ...
綁定到自由變量的變量仍然是自由變量嗎？
[英]Are variables bounded to free variables still free variables?
我正在我的教科書中查看一些關於變量是自由還是綁定的問題。 我不確定特別是這兩個。 首先，我想確保我理解自由與綁定的概念。 我相當確定這個 x 是以下中的自由變量： variable x is free in expression "x" 我相信這是真的，但我只是想確定一下。 然而，這兩個問題 ...
動態作用域中的形式參數和自由變量
[英]Formal parameters and free variables in dynamic scoping
我對動態范圍有些困惑，特別是當形式參數和自由變量共享名稱時會發生什么。 例如 如果使用動態范圍編譯和評估此代碼，輸入會是什么？ 2個還是3個？ 雖然參數中的賦值 (x = 2) 似乎是最新的，所以它應該是 2，但有些人告訴我答案是 1（而其他人說是 2。每個人都很困惑）。 {我知道方案，大多數語 ...
Prolog 中的自由變量
[英]Free Variable in Prolog
誰能解釋 Prolog 中自由變量的概念。 它類似於匿名變量嗎？ 或者有什么不同。 如果給出一個例子來解釋，也可能很棒。 ...
sympy TypeError：無法確定關系的真值
[英]sympy TypeError: cannot determine truth value of Relational
我正在運行這個 git 回購代碼，它應該是開箱即用的，沒有錯誤（新回購）。 所以，我不確定為什么會出現這個錯誤。 我沒有更改原始代碼，並且使用與 DJ-RN 存儲庫維護者完全相同的數據集： 最初，錯誤發生在此處（即使在將 and 更改為 & 和或更改為 | 之后）。 然后按照@sylee95 ...
松散的后期綁定與嚴格的后期綁定
[英]Loose late binding v. strict late binding
在閱讀 Python 的Execution model文檔時，我意識到 Python 的自由變量似乎沒有嚴格的后期綁定屬性，在任何代碼塊中發生的名稱綁定都可以用於名稱解析。 確實，執行：def f(): return x def g(): x = 0 return f() ...
遞歸調用的變量是自由的還是有界的？
[英]Will recursively-called variable be free or bound?
我試圖更好地了解自由和綁定變量。 這是一個示例代碼： 我看到這里的綁定變量是guess和x ，以及自由變量< 、 abs 、 -和square 。 如果我調用what-kind-of-var? 遞歸？ 它會是一個綁定變量，因為它是綁定本身嗎？ 謝謝！ ...
自由變量在Python中被視為全局變量嗎？
[英]Free variables treated as globals in Python?
在Python 3.7參考手冊的“ 執行模型”部分中，我閱讀了以下語句： global語句的作用域與同一塊中的名稱綁定操作相同。 如果最接近的自由變量包圍范圍包含global語句，則將自由變量視為global語句。 因此，我在Python解釋器中輸入了以下代碼： 調用 ...
Python-生成一個數組，其中元素是可變參數的函數，而無需每次都構建數組
[英]Python - Generate an array where elements are a function of a varying parameter, without building the array each time
TLDR ： 如何生成一個其元素取決於某個任意（浮點）值k的數組，而不必每次更改k值時都需要進行從頭開始構造數組的極其耗時的過程。 我要實現的目標如下所示： 我在2D晶格（N x N numpy數組）的原子基礎上生成巨大的哈密頓量。 填充此數組需要針對我要包括的每種不同耦合類 ...
完整代碼或嵌套功能級別是否一次進行提升
[英]Does hoisting takes place at once for the full code or by nested-function-levels
大家好 我不了解有關起重裝置的某些信息，可能是我的問題，但我沒有找到任何答案，無論是在這里還是在Google上，這都是我想問的，感謝您的閱讀。 所以我不明白，隨着javascript引擎在下面獲取我的代碼並開始進行掃描，是否會將包含所有函數和嵌套函數的整個代碼扔到最后一個范圍？ 並且所 ...
返回SML中的空閑（未綁定）變量列表
[英]Return a list of free(unbound) variables in SML
我創建了自己的數據類型： 使用這些，我需要編寫一個函數isFV，它返回傳遞給函數的任何自由變量的列表。 到目前為止，我的代碼是： anaExp意味着最初采用一個空列表並遞歸調用自己，直到它獲得一個VarExpr術語。 然后將它添加到aggr_list。 我如何應用Fun ...
使用沒有變量綁定的變量復制術語
[英]Copy term with variables without variables being bound
使用SWI-Prolog。 如何在沒有綁定變量的情況下復制帶變量的術語？ 我試過了什么 我嘗試了copy_term / 2和duplicate_term / 2 例如： foo(c). foo(E) :- E = bar(a,b,X), copy_te ...
Scheme中引用術語的自由變量的約束時間
[英]Binding time of free variables of quoted terms in Scheme
我試着理解Scheme中的引用現象是如何工作的。 特別是，我想了解何時綁定引用術語的自由變量。 例如，當我寫作 它返回42.因此我推斷出綁定時間是在運行時。 但在這種情況下，為什么這段代碼會失敗 並返回 有人可以解釋一下引用術語的約束時間模型是什么（例如，與Me ...
在lambda演算中“自由變量”和“變量的自由出現”之間的區別
[英]Difference between “free variable” and “free occurrence of a variable” in context of lambda calculus
在lambda演算的上下文中，自由變量和變量的自由出現之間是否有區別？ 如果是，請舉例說明。 實際上，我正在經歷lambda表達式的轉換規則，遇到了以下幾行： 在說明的轉換規則，符號E[E'/V]用於指代的結果E'的每個自由出現V在E ...
`del`語句和自由變量
[英]`del` statement and free variables
今天測試一些Python代碼我嘗試了以下代碼： （以下在Python 3.2+上運行，盡管以前的版本在使用del時引發SyntaxError並且在封閉范圍內引用變量） 正如您所看到的，Python不會引發NameError: global name 'N' is not defin ...
如何在實際代碼中出現“在封閉范圍內賦值之前引用的NameError：自由變量'var'？
[英]How can “NameError: free variable 'var' referenced before assignment in enclosing scope” occur in real code?
當我在Python聊天室閑逛時，有人進入並報告了以下異常： 我之前從未見過這個錯誤消息，並且用戶只提供了一個不能自己引起錯誤的小代碼片段，所以關閉我去谷歌搜索信息，並且...似乎沒有多少。 在我搜索時，用戶報告他們的問題已解決為“空白問題”，然后離開了房間。 玩了一下后，我只能用 ...
純函數可以有自由變量嗎？
[英]Can a pure function have free variables?
例如，一個沒有自由變量的引用透明函數： 現在是一個帶有free（從f的觀點來看）變量op和x ： f也是參考透明的。 但它是純粹的功能嗎？ 如果它不是純函數，那么引用透明的函數的名稱是什么，但是使用一個或多個綁定在封閉范圍內的變量？ 這個問題的動機： 從維基 ...
什么是自由變量和綁定變量？
[英]What are Free and Bound variables?
我已經編程了很長時間（實際上太久了），但我真的很難掌握術語“自由變量”和“綁定變量”。 我在網上找到的大多數“解釋”都是從討論 Lambda 演算和形式邏輯或公理語義等主題開始的。 這讓我想伸手去拿我的左輪手槍。 有人可以從實現的角度解釋這兩個術語嗎？ 它們可以存在於編譯語言中嗎，它們翻譯成什么 ...