我已经看到了围绕这个基本问题的所有内容，但没有任何帮助，尤其是plai-typed. 所以，我可以在 geiser 中启动一个球拍 REPL，然后输入(require typed/racket)它似乎需要，即，我已经准备好使用基本类型的球拍了。通常，typed/racket通过#lang typed/racket在源代码文件的顶部，然后加载它来激活。同样#lang plai-typed是如何在源代码中使用特定的“编程语言应用程序解释”球拍语言。但是，如何在运行的 geiser 球拍 REPL 中切换到 plai 类型的语言？更好的是如何在 org-mode babel 源代码块中执行此操作。
问问题
225 次
1 回答
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路径，如果您位于与文件无关的缓冲区中，这显然不起作用。
于 2016-09-10T04:23:33.597 回答