free-variable

    1熱度

    3回答

    我有一個應用程序,其中包含用於編程配置的一些EL評估。給定一個EL表達式,我想得到它包含的自由變量而不實際評估它。目的是提供一個用戶界面,最終用戶可以在按下「評估」按鈕之前將值綁定到自由變量。 不幸的是javax.el.ValueExpression不提供此功能,所以我可能需要使用供應商特定的API。這是在開發早期,所以我還沒有確定我的選擇實施。我曾經想過MVEL,JUEL和SpEL,但是當然我選

    6熱度

    1回答

    當我在Python chatroom掛出來,有人在下降,報告了以下異常: NameError: free variable 'var' referenced before assignment in enclosing scope 我以前從來沒有看到錯誤消息,並且用戶提供的只是一個小的代碼片段不能自己引起了錯誤,所以我一直在搜索信息,並且...似乎沒有太多。在我搜索時,用戶將他們的問題報告爲「

    2熱度

    1回答

    破壞型我要摧毀朱莉婭某種類型的,它看起來像: type City x::Int y::Int index::Int end ,我想使之類的函數 destroy(City) 這將刪除此。可能嗎? 謝謝您的回答

    0熱度

    1回答

    lambda演算上下文中自由變量和變量自由出現之間是否有區別?如果是的話,請用一兩個例子來解釋。 其實我經​​歷了lambda表達式轉換規則我碰到下面一行哪裏傳來: 在說明的轉換規則的符號E[E'/V]用於意味着在V每個自由出現替代E'的結果E

    0熱度

    1回答

    是否有任何函數/命令使用Coq來獲取/檢查自由變量是否存在於術語/表達式e中?請分享。 例如,我想在Coq中聲明這個「n不出現在e的自由名稱中」。 感謝, Wilayat

    3熱度

    1回答

    測試一些Python代碼我嘗試下面的代碼: (關於Python 3.2+下運行,雖然以前的版本將引發SyntaxError時del使用和變量被引用在一個封閉的範圍) def x(): N = 200 def y(): print(N) del N y() x() NameError: free variable 'N' referenced

    18熱度

    3回答

    的Javascript閉合定義表示: A「閉合」是可以與結合這些變量 (即「封閉」的表述)的環境中具有自由 變量一起表達(通常是功能)。 有人可以向我解釋自由變量的概念嗎?這個概念是Javascript的特定還是適用於其他語言?