Syntax 类型化球拍需要模块重复评估

这是对的后续

当此代码保存到文件并从命令行运行时，它将打印13次。我能理解两次，但三次？为什么?

当我在emacs的拍子模式下运行它时，它会打印13次5次

当我在DrRacket中运行它时，它会打印13个七次

香草球拍的行为也不同？将

#lang typed/racket

更改为

#lang racket

从命令行打印13次，从emacs打印两次，从DrRacket打印三次

这是怎么回事

#lang打字/拍子
（语法模块mod type/racket
（提供foo）
（：foo（->真实真实））
（定义（foo n）
（+n3）））
（require（对于syntax mod，语法为'syntax'））
（从语法（println（foo 10））开始）

这本质上与魔兽世界是同一个问题，rfindler和samth都说他们不确定到底发生了什么！我觉得我们已经不在堪萨斯了。这基本上和魔兽世界是同一个问题，rfindler和samth都说他们不确定到底发生了什么！我觉得我们已经不在堪萨斯了。