不存在的 hy 宏运行断言，但其他一切都失败了

Question

在以下代码中：

(eval-and-compile (import os hy))
(eval-and-compile (import pathlib [Path]))
; (defmacro with-cwd [dir #* body]
;           (setv cwd (hy.gensym))
;           `(let [ ~cwd (.cwd Path) ]
;                 (try (.chdir os ~dir)
;                      ~@body
;                      (finally (.chdir os ~cwd)))))
(setv cookies (/ (.cwd Path) "cookies"))

; This fails with an `AssertionError'
(with-cwd cookies (assert (= (.cwd Path) cookies)))

; This fails with a `NameError'
(with-cwd cookies (.cwd Path))

同样，任何依赖于缺失宏的函数或宏都会以同样的方式出错，例如，如果我正在导入或需要依赖于缺失宏的函数或宏，也会发生同样的事情； 基本上，我必须手动导入或需要函数或宏及其依赖项。

这是一个错误，还是我错过了关于 Python / Hy 断言顺序的一些东西？ 我预计第一个案例也会因NameError而失败。

Answer 1

这是一个记录在案的怪癖：

与许多编程语言一样，但与 Python 不同的是，Hy 并不保证在所有情况下计算函数参数的顺序。 更一般地，未指定hy.models.Sequence的子模型的评估顺序。 例如， (f (g) (h))可能在(g)之前评估 (part of) (h) ，特别是如果f是一个函数而h是一个产生 Python 级语句的宏。 因此，如果您需要确保首先调用g ，请在f之前调用它。

在这种情况下， assert语句已从函数调用中提取出来（ (with-cmd …)是一个函数调用，因为没有名为with-cmd宏）并在符号with-cmd本身之前进行评估。