free-variable

    0热度

    1回答

    Coq中的自由变量

    是否有任何函数/命令使用Coq来获取/检查自由变量是否存在于术语/表达式e中？请分享。 例如，我想在Coq中声明这个“n不出现在e的自由名称中”。 感谢， Wilayat
    coq free-variable 2012-07-16

    1热度

    3回答

    列出EL表达式中的自由变量

    我有一个应用程序，其中包含用于编程配置的一些EL评估。给定一个EL表达式，我想得到它包含的自由变量而不实际评估它。目的是提供一个用户界面，最终用户可以在按下“评估”按钮之前将值绑定到自由变量。 不幸的是javax.el.ValueExpression不提供此功能，所以我可能需要使用供应商特定的API。这是在开发早期，所以我还没有确定我的选择实施。我曾经想过MVEL，JUEL和SpEL，但是当然我选
    el spring-el mvel free-variable juel 2012-08-06

    3热度

    1回答

    `del`陈述和自由变量

    测试一些Python代码我尝试下面的代码： （关于Python 3.2+下运行，虽然以前的版本将引发SyntaxError时del使用和变量被引用在一个封闭的范围） def x(): N = 200 def y(): print(N) del N y() x() NameError: free variable 'N' referenced
    python python-3.x closures free-variable 2015-09-25

    6热度

    1回答

    如何“NameError：在封闭范围内赋值之前引用的自由变量'var'出现在真实代码中？

    当我在Python chatroom挂出来，有人在下降，报告了以下异常： NameError: free variable 'var' referenced before assignment in enclosing scope 我以前从来没有看到错误消息，并且用户提供的只是一个小的代码片段不能自己引起了错误，所以我一直在搜索信息，并且...似乎没有太多。在我搜索时，用户将他们的问题报告为“
    python exception scope closures free-variable 2014-07-11

    2热度

    1回答

    在朱莉娅

    破坏型我要摧毁朱莉娅某种类型的，它看起来像： type City x::Int y::Int index::Int end ，我想使之类的函数 destroy(City) 这将删除此。可能吗？ 谢谢您的回答
    julia-lang free-variable 2017-04-07

    0热度

    1回答

    lambda微积分上下文中“自由变量”和“变量的自由出现”之间的区别

    lambda演算上下文中自由变量和变量自由出现之间是否有区别？如果是的话，请用一两个例子来解释。 其实我经​​历了lambda表达式转换规则我碰到下面一行哪里传来： 在说明的转换规则的符号E[E'/V]用于意味着在V每个自由出现替代E'的结果E
    substitution lambda-calculus free-variable bound-variable 2016-03-07

    18热度

    3回答

    什么是自由变量？

    的Javascript闭合定义表示： A“闭合”是可以与结合这些变量 （即“封闭”的表述）的环境中具有自由 变量一起表达（通常是功能）。 有人可以向我解释自由变量的概念吗？这个概念是Javascript的特定还是适用于其他语言？
    javascript closures free-variable 2012-10-17
最新问题