geiser中的球拍:将实时REPL中的语言切换为简单类型

Question

在这个基本的问题上，我已经看到了很多热门的东西，但是没有什么特别的帮助，特别是plai-typed。所以，我可以在geiser中创建一个球拍REPL，然后输入(require typed/racket)，它看起来就像是，我已经准备好使用基本类型的球拍了。通常，通过将#lang typed/racket放在源代码文件的顶部，然后加载它来激活typed/racket。同样，#lang plai-typed是如何在源代码中使用特定的“编程语言、应用程序解释”球拍语言。但是，我如何在运行的geiser球拍REPL中切换到简单类型的语言呢？更好的方法是如何在组织模式的babel源代码块中做到这一点。

Answer 1

在Geiser REPL buffer中，您可以通过执行C-c C-m plai-typed来访问plai-typed语言。此外，如果你正在使用球拍文件，你可以用C-x C-f /path/to/foo.rkt在Emacs中打开该文件，然后执行C-c C-a将该文件加载到一个Geiser中(如果没有现有的REPL，它将创建一个新的)。这与C-c C-m具有相同的效果，但它还可以运行文件中的任何代码。请注意，C-c C-a方法在非文件缓冲区中不起作用，因为geiser-mode-switch-to-repl-and-enter函数使用Geiser ,enter命令并尝试为,enter提供路径，如果您在与文件没有关联的缓冲区中，这显然不会起作用。