问题标签 [lexical-scope]

我对在 Scheme 中定义多个可以相互调用的词法范围函数感到好奇。在 SICP 工作时，我使用块结构生成了以下函数来解决练习 1.8（使用牛顿法计算立方根）：

这很好用，但它让我想知道 Scheme（也许还有 Common Lisp）如何使用词法作用域和let表单来处理相同的场景。我尝试使用let以下 kludgy 代码来实现它：

我在下面看到的问题是cbrt-iter尝试调用该good-enough?过程时。由于该good-enough?过程仅在第一个嵌套 let块的范围内是本地的，cbrt-iter因此无法访问它。似乎可以通过将cbrt-iter函数嵌套在 的let中来解决good-enough，但这似乎也很笨拙和尴尬。

define在这种情况下，有什么不同的形式？表单是否define扩展到lambda表达式而不是“让 lambda”表单（我记得在 Little Schemer 书中使用表单做了类似的事情((lambda (x) x x) (lambda (y) ...))，但我不确定这将如何工作）。此外，作为比较，Common Lisp 如何处理这种情况——是否可以使用词法范围defun的 's ？

可能重复：
Javascript臭名昭著的循环问题？

我有以下代码：

一个库函数调用 footerTemplate 函数（该函数又调用 buildFooter）。buildFooter 中的警报指出该字段始终是相同的值（在 for 测试循环中迭代的最后一个值。）如何使用适当的字段值调用 buildFooter（即

和

等等...

最新版本的 Emacs 支持 elisp 代码中变量的词法绑定。是否也可以在词法上重新定义函数？换句话说，Emacs Lisp 有类似的东西lexical-flet吗？

代码是这样的：

我希望看到100结果。但是，在a中捕获时就像冻结一样f。结果是1。有没有办法在变化a时保持一致a？

在 Haskell 中，在列表推导中，我可以将表达式绑定到每次迭代的变量：

如何在 Racket 的for理解中绑定词法变量？

目前我有这个代码：

我想绑定(* i j)到一个变量并将表达式替换为函数中的任何地方。

我有机会在 StackOverflow 中环顾四周，发现了同样的问题，我试图从 Ruby Koans 中更好地理解这个问题（Ruby Koans：类定义上的显式作用域第 2 部分）。

根据链接中的解释，其他人（包括我自己）的主要困惑似乎是因为类定义：

我最初的想法是 MyAnimals::Oyster 意味着 Oyster 类是在 MyAnimals 中定义的。换句话说，我认为上面的代码类似于下面的代码：

为了测试我的想法，我在 IRB 中做了以下操作：

如果我的推理是正确的，那么我希望下面的代码返回 2

由于这不返回 2，有人可以向我解释为什么它不返回 2？

编辑：我忽略了添加 Animal 类；这里是：

这是这个原始 SO 问题的延续：Using "::" instead of "module ..." for Ruby namespacing

在最初的 SO 问题中，这是我仍然无法理解的场景：

有人可以解释为什么第一个电话返回 555 以及为什么第二个电话返回 123 吗？

F# 具有称为“类型扩展”的功能，使开发人员能够扩展现有类型。有两种类型的扩展：固有扩展和可选扩展。第一个类似于 C# 中的部分类型，第二个类似于方法扩展（但更强大）。

要使用内部扩展，我们应该将两个声明放入同一个文件中。在这种情况下，编译器会将两个定义合并为一种最终类型（即，这是一种类型的两个“部分”）。

问题是这两种类型对不同的成员和值有不同的访问规则：

我阅读了 F# 规范，但没有找到任何想法为什么 F# 编译器区分值和成员声明。

在 F# 规范的 8.6.1.3部分中说“实例定义定义的函数和值在词法范围内（因此隐式私有）到正在定义的对象。”。部分声明可以访问所有私有成员（静态和实例）。我的猜测是，“词法范围”规范作者专门指的是“主要”声明，但这种行为对我来说似乎很奇怪。

问题是：这种行为是故意的，其背后的理由是什么？

我正在尝试创建一个宏来创建一个函数，该函数采用 S 表达式并在夹具的词汇上下文中评估它们。这是我写的宏：

但是当我运行它时，它似乎在我提供的词汇上下文之外执行

顺便说一句，我启用了变量词法绑定。关于我的错误有什么想法吗？

我在 python 中弄乱了范围，发现了一些我认为很奇怪的东西：

我认为第二次打印应该是“5”，因为全局语句从未执行过，但很明显，输出是 20（！）。

这背后的逻辑是什么？