標簽[bound-variable] - 堆棧內存溢出

[英]Are variables bounded to free variables still free variables?

我正在我的教科書中查看一些關於變量是自由還是綁定的問題。我不確定特別是這兩個。首先，我想確保我理解自由與綁定的概念。我相當確定這個 x 是以下中的自由變量： variable x is free in expression "x" 我相信這是真的，但我只是想確定一下。然而，這兩個問題 ...

[英]Error in Getting newly inserted record through trigger-PLSQL

我正在嘗試在 EMP 表上創建一個觸發器，它將審計 EMP_AUDIT 表中的插入並將郵件發送到相應的 empno。我沒有得到的是在 v_block_query 中生成的 CSV 附件中獲取新插入的記錄。我想獲得 :new.FIELD_NAME 的數據基礎，但它拋出了錯誤： ORA-01 ...

[英]Will recursively-called variable be free or bound?

我試圖更好地了解自由和綁定變量。這是一個示例代碼：我看到這里的綁定變量是guess和x ，以及自由變量< 、 abs 、 -和square 。如果我調用what-kind-of-var? 遞歸？它會是一個綁定變量，因為它是綁定本身嗎？謝謝！ ...

[英]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 ...

[英]Avoiding infinite recursion but still using unbound parameter passing only

我有以下工作程序：（可以在此站點上進行測試： http : //swish.swi-prolog.org ，由於我注意到任何人都可以對其進行編輯，因此我刪除了指向已保存程序的直接鏈接。）它在無向圖中搜索兩點之間的路徑。重要的是，結果將在“主”謂詞的范圍內返回。（在Track變量中 ...

[英]Difference between “free variable” and “free occurrence of a variable” in context of lambda calculus

在lambda演算的上下文中，自由變量和變量的自由出現之間是否有區別？如果是，請舉例說明。實際上，我正在經歷lambda表達式的轉換規則，遇到了以下幾行：在說明的轉換規則，符號E[E'/V]用於指代的結果E'的每個自由出現V在E ...

[英]PT algorithm for ML type inference

為了使ML類型推斷的PT算法起作用，輸入程序表達式必須具有每個綁定變量都不同的屬性。有人可以舉例說明嗎？ ...

[英]SQL Bound variables error

我的代碼中出現錯誤。我確定這意味着我的代碼的column =：variable部分出了點問題，但是我已經看完了，看不到出什么問題了。這是代碼（第一行很長）：編輯：image_link需要是：image_link，仍然得到相同的錯誤編輯2：有很多錯誤，正在使用兩個名 ...

[英]How to bind returned function local variable to method parameter?

我想獲得以下PHP代碼。不起作用的部分是內部變量$greetingCount （返回函數的局部變量）沒有綁定到外部變量$greetingCount （方法參數變量）。 //輸出： //預期輸出：注意：我想要一個解決方案，當靜態方法變為非靜態時也可以使用，否則這兩種情 ...

[英]What are Free and Bound variables?

我已經編程了很長時間（實際上太久了），但我真的很難掌握術語“自由變量”和“綁定變量”。我在網上找到的大多數“解釋”都是從討論 Lambda 演算和形式邏輯或公理語義等主題開始的。這讓我想伸手去拿我的左輪手槍。有人可以從實現的角度解釋這兩個術語嗎？它們可以存在於編譯語言中嗎，它們翻譯成什么 ...