- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
在阅读“为什么 FUNARG 问题应该称为环境问题”之后,我问了自己一个问题:如果我们禁止定义一个无法创建闭包的函数,会发生什么,即
(define (foo x) (+ a x))
不会在顶层被允许(因为没有环境可以关闭,包含a),而
(define (bar a) (lambda (x) (+ a x)))
是允许的,因为返回的 lambda 可以创建闭包。这里有两个问题:
1. 这会如何影响语言的表达能力?是否有某些功能因此类限制而变得不可用?有人可以举个例子,用自由变量定义函数时有用吗?
2. 这是否意味着闭包中的所有环境变量现在都具有静态和可预测的偏移量?
最佳答案
正如 Will Ness 和 tfb 所说,存在一个全局环境。在您的表达式中,+
和 a
都是自由变量。重要的是当您定义f
时,a
是否存在于您的全局环境中。此外,“自由”或“束缚”是一个相对的概念。
引用未在任何环境中绑定(bind)的词法 变量没有什么意义。我能想到的唯一示例与元编程相关,但这并不真正相关,因为在那种情况下您只是将代码作为数据进行操作。当你最终生成一个表单并编译或评估它时,你仍然有一个词法范围,然后你的所有符号都必须解析为一个已知变量。对于 Common Lisp 中的 special 变量,或 Emacs 的默认动态作用域变量,引用自由变量是有意义的。在 Emacs 中,您甚至可以在没有警告的情况下引用未声明的变量。
How this may affect the expressiveness of the language?
因此,如果您不允许自由变量(未绑定(bind)在任何词法范围内),您基本上就是不允许具有动态范围的变量(在 Common Lisp 中,它们被定义为具有无限范围和动态程度)。你失去了表达能力。例如,OCaml 就是这种情况。但是,您仍然可以定义一个库来模拟它们,如 Delimited Dynamic Binding 中所示。及其 implementation .
OCaml 提供了一个 hyper-static global environment ,它不仅使用词法作用域,而且禁止更改现有绑定(bind)。
# let a = 10;;
val a : int = 10
# let f () = a;;
val f : unit -> int = <fun>
# let a = 20;;
val a : int = 20
# f ()
- : int = 10
上面第二个 a
隐藏了前一个,但是 f
仍然引用前一个 a
。 函数也是如此,这就是为什么有rec
关键字来定义递归和相互递归函数的原因。这是一种不同于 Lisp 的方法,后者值得注意的是允许在运行时重新定义大部分内容。
Does this mean that all environment variables in closures have static and predictable offsets now?
词法作用域允许将变量编译到固定位置。这是否完成取决于您的工具。例如,在解释器中,您的环境可能保存在运行时数据结构中。
关于lambda - 没有自由变量的语言,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37896091/
可以使用 lambda 和函数创建有序对(Lisp 中的缺点),如 Use of lambda for cons/car/cdr definition in SICP 所示。 它也适用于 Python
我正在尝试从另一个调用一个 AWS lambda 并执行 lambda 链接。这样做的理由是 AWS 不提供来自同一个 S3 存储桶的多个触发器。 我创建了一个带有 s3 触发器的 lambda。第一
根据以下源代码,常规 lambda 似乎可以与扩展 lambda 互换。 fun main(args: Array) { val numbers = listOf(1, 2, 3) f
A Tutorial Introduction to the Lambda Calculus 本文介绍乘法函数 The multiplication of two numbers x and y ca
我想弄清楚如何为下面的表达式绘制语法树。首先,这究竟是如何表现的?看样子是以1和2为参数,如果n是 0,它只会返回 m . 另外,有人可以指出解析树的开始,还是一个例子?我一直找不到一个。 最佳答案
在 C++0x 中,我想知道 lambda 函数的类型是什么。具体来说: #include type1 foo(int x){ return [x](int y)->int{return x * y
我在其中一个职位发布中看到了这个问题,它询问什么是 lambda 函数以及它与高阶函数的关系。我已经知道如何使用 lambda 函数,但不太自信地解释它,所以我做了一点谷歌搜索,发现了这个:What
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
Evaluate (((lambda(x y) (lambda (x) (* x y))) 5 6) 10) in Scheme. 我不知道实际上该怎么做! ((lambda (x y) (+ x x
我正在处理 MyCustomType 的实例集合如下: fun runAll(vararg commands: MyCustomType){ commands.forEach { it.myM
Brian 在他对问题 "Are side effects a good thing?" 的论证中的前提很有趣: computers are von-Neumann machines that are
在 Common Lisp 中,如果我希望两个函数共享状态,我将按如下方式执行 let over lambda: (let ((state 1)) (defun inc-state () (in
Evaluate (((lambda(x y) (lambda (x) (* x y))) 5 6) 10) in Scheme. 我不知道实际上该怎么做! ((lambda (x y) (+ x x
作为lambda calculus wiki说: There are several possible ways to define the natural numbers in lambda cal
我有一个数据类,我需要初始化一些 List .我需要获取 JsonArray 的值(我使用的是 Gson)。 我做了这个函数: private fun arrayToList(data: JsonAr
((lambda () )) 的方案中是否有简写 例如,代替 ((lambda () (define x 1) (display x))) 我希望能够做类似的事情 (empty-lam
我在 Java library 中有以下方法: public void setColumnComparator(final int columnIndex, final Comparator colu
我正在研究一个函数来计算国际象棋游戏中棋子的有效移动。 white-pawn-move 函数有效。当我试图将其概括为任一玩家的棋子 (pawn-move) 时,我遇到了非法函数调用。我已经在 repl
考虑这段代码(在 GCC 和 MSVC 上编译): int main() { auto foo = [](auto p){ typedef decltype(p) p_t;
我正在阅读一个在 lambda 内部使用 lambda 的片段,然后我想通过创建一个虚拟函数来测试它,该函数从文件中读取然后返回最大和最小数字。 这是我想出来的 dummy = lambda path
我是一名优秀的程序员,十分优秀!