【问题标题】：racket in geiser: switch language in live REPL to plai-typedgeiser 中的球拍：将实时 REPL 中的语言切换为 plai 类型
【发布时间】：2016-12-12 12:27:32
【问题描述】：
我已经看到了围绕这个基本问题的所有热门话题，但没有任何帮助，尤其是 plai-typed。所以，我可以在 geiser 中启动一个球拍 REPL，然后输入(require typed/racket)，这似乎需要，即，我已经准备好使用基本类型的球拍了。通常，typed/racket 是通过将#lang typed/racket 放在源代码文件的顶部，然后加载它来激活的。同样#lang plai-typed 是如何在源代码中使用特定的“编程语言应用程序解释”球拍语言。但是，如何在运行的 geiser 球拍 REPL 中切换到 plai 类型的语言？更好的是如何在 org-mode babel 源代码块中执行此操作。
【问题讨论】：
标签：
racket
read-eval-print-loop
typed-racket
geiser
【解决方案1】：
在 Geiser REPL 缓冲区中，您可以执行 C-c C-m plai-typed 来访问 plai-typed 语言。此外，如果您正在使用 Racket 文件，您可以在 Emacs 中使用 C-x C-f /path/to/foo.rkt 打开该文件，然后执行 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 提供路径，如果您这样做显然将不起作用re 在与文件无关的缓冲区中。