我看到了围绕这个基本问题的热门话题，但没有任何帮助，尤其是plai-typed。所以，我可以在geiser中启动一个球拍REPL，然后键入(require typed/racket)，这似乎需要，也就是说，我已经准备好使用基本类型的球拍了。通常，typed/racket是通过将#lang typed/racket放在源代码文件的顶部，然后加载它来激活的。同样，#lang plai-typed是如何在源代码中使用特定的"编程语言应用程序解释"球拍语言。但是，我怎么能在一个正在运行的艺妓球拍REPL中切换到格纹语言呢？更好的是如何在组织模式的babel源代码块中做到这一点。
在Geiser REPL缓冲区中，您可以执行C-c C-m plai-typed来访问plai-typed语言。此外，如果您使用的是Racket文件，您可以使用C-x C-f /path/to/foo.rkt在Emacs中打开该文件，然后执行C-c C-a将该文件加载到Geiser REPL中(如果没有现有的REPL，它将创建一个新的REPL(。这与C-c C-m具有相同的效果，但它也将运行文件中的任何代码。请注意，C-c C-a方法在非文件缓冲区中不起作用，因为geiser-mode-switch-to-repl-and-enter函数使用Geiser ,enter命令，并且它试图为,enter提供一个路径，如果您在与文件无关的缓冲区中，则该路径显然不起作用。