我已经看到围绕这个基本问题的所有内容，但没有任何帮助，尤其是plai-typed。所以，我可以在geiser中开始一个球拍REPL，然后键入(require typed/racket)，它似乎需要，即我已准备好使用基本类型的球拍。通常，typed/racket通过在源代码文件的顶部放置#lang typed/racket，然后加载它来激活。同样#lang plai-typed是如何在源代码中使用特定的“Programming Languages Applications Interpretations”球拍语言。但是，如何在正在运行的geiser球拍REPL中切换到plai类型的语言？更好的是如何在组织模式的babel源代码块中执行此操作。
答案 0 :(得分：1)
在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）。这与C-c C-m具有相同的效果，但它也会运行文件中的任何代码。请注意，C-c C-a方法在非文件缓冲区中不起作用，因为geiser-mode-switch-to-repl-and-enter函数使用Geiser ,enter命令并尝试向,enter提供路径，如果你在一个与文件无关的缓冲区中，显然是行不通的。