球拍模式：我可以在REPL的给定命名空间中评估单个表单吗？

Question

我在Emacs中通过racket-mode在Racket REPL工作，在多个模块中编写代码。

有没有办法从模块中执行单个表单，我目前不在其自己的模块中？

例如：

web.rkt

#lang racket
(require "view.rkt")

(define (display-default-view)
  (display (default-view)))

view.rkt

#lang racket

(provide default-view)

(define default-text "Hello")

(define (default-view)
  (string-append default-text " world"))

如果我从racket-run打电话给web.rkt我得到一个提示说web.rkt>。如果我然后运行(display-default-view)我得到“Hello world”。

如果我然后访问view.rkt并将默认文本定义更改为：

(define default-text "Hi")

并重新评估default-text定义，它评估很好，我的提示仍然说web.rkt>。

当我在REPL进入default-text时，我得到“嗨”。但是，当我运行(display-default-view)时，我仍然得到“Hello world”。我假设这是因为我所做的就是在default-text中定义一个新的web.rkt。

我希望看到输出更改为“Hi world” - 即要更新的view.rkt模块的行为。就像我看到default-text是否住在web.rkt模块中一样。

在repl中动态重新评估单个表单以改变程序行为的想法非常棒，但它似乎不太适用。

有没有办法像在球拍模式中所期望的那样表现？或者如果没有，一个机制只是进入一个模块而不运行它，这样我就可以自己构建一个东西来进行一个enter-execute-exit舞蹈？

Answer 1

更新，更简单的答案：

我们可以通过在REPL中输入该命名空间，评估这些表单，然后重新输入我们的原始命名空间来评估当前文件命名空间中REPL中的表单。最简单的方法是使用函数包装这些表单以输入当前文件的命名空间（之前）并重新输入原始命名空间（之后），然后将所有这些发送到现有的Racket模式代码中以评估表单中的表单。 REPL。

我们可以通过构建一个包装命令的字符串，将其写入临时缓冲区，将整个缓冲区标记为我们的区域，然后将其发送到racket-send-region来实现。

(defun my-racket-current-namespace-wrapped-commands (buffer-file-string commands)
  "generate string containing commands wrapped with Racket functions to enter
   the current-namespace and then exit it upon finishing"
  (concat "(require (only-in racket/enter enter!))"
          "(enter! (file "
          buffer-file-string
          "))"
          commands
          "(enter! #f)"))

(defun my-racket--send-wrapped-current-namespace (commands)
  "sends wrapped form of commands to racket-send-region function via a temporary buffer"
  (let ((buffer-file-string (prin1-to-string buffer-file-name)))
    (with-temp-buffer
      (insert
       (my-racket-current-namespace-wrapped-commands buffer-file-string commands))
      (mark-whole-buffer)
      (racket-send-region (point-min) (point-max)))))

(defun my-racket-send-region-current-namespace (start end)
  "send region to REPL in current namespace"
  (interactive "r")
  (unless (region-active-p)
    (user-error "No region"))
  (let ((commands (buffer-substring (region-beginning) (region-end))))
    (my-racket--send-wrapped-current-namespace commands)))

(defun my-racket-send-last-sexp-current-namespace ()
  "send last sexp to REPL in current namespace"
  (interactive)
  (let ((commands (buffer-substring (my-racket--repl-last-sexp-start)
                                    (point))))
    (my-racket--send-wrapped-current-namespace commands)))

(defun my-racket--repl-last-sexp-start ()
    "get start point of last-sexp
     permanent (and slightly simplified) copy of racket mode's last-sexp-start private function"
  (save-excursion
    (progn
      (backward-sexp)
      (if (save-match-data (looking-at "#;"))
          (+ (point) 2)
        (point)))))

这些函数应该主要与版本无关 - 它们仅依赖于racket-send-buffer（在未来版本中似乎可能仍然存在）。

---

编辑1 :(注意 - 这似乎不适用于较新版本的Racket模式。这在2018年4月1日发布时有效，但是新版本似乎已经重构了一些内部依赖的内容。在所有情况下，上面的代码更可取。）

对不起，我相信我最初误解了这个问题。看起来你的意思是直接从view.rkt执行命令，而不必手动更改REPL中的命名空间。我没有在racket-mode中看到任何功能上的内置功能，但是在这个过程中编写一个Elisp包装器并不难。 enter!中的以下导入切换到当前缓冲区的文件命名空间，在区域中发送代码，然后切换回原始命名空间。使用的代码非常类似于球拍模式用于racket-send-region和racket-send-last-sexp的代码。

(defun my-racket-send-region-current-namespace (start end)
  "Send the current region to the Racket REPL as that namespace"
  (interactive "r")
  (when (and start end)
    (racket-repl t)
    (racket--repl-forget-errors)
    (let ((proc (racket--get-repl-buffer-process)))
      (with-racket-repl-buffer
        (save-excursion
          (goto-char (process-mark proc))
          (insert ?\n)
          (set-marker (process-mark proc) (point))))
      (comint-send-string proc "(require (only-in racket/enter enter!))")
      (comint-send-string proc
                          (concat "(enter! (file "
                                  (prin1-to-string buffer-file-name)
                                  "))"))
      (comint-send-string proc "\n"))
    (racket--repl-show-and-move-to-end)
    (racket--send-region-to-repl start end)
    (let ((proc (racket--get-repl-buffer-process)))
      (with-racket-repl-buffer
        (save-excursion
          (goto-char (process-mark proc))
          (insert ?\n)
          (set-marker (process-mark proc) (point))))
      (comint-send-string proc "(enter! #f)")
      (comint-send-string proc "\n"))))


(defun my-racket-send-last-sexp-current-namespace ()
  (interactive)
  (my-racket-send-region-current-namespace
   (save-excursion
     (backward-sexp)
     (if (save-match-data (looking-at "#;"))
         (+ (point) 2)
       (point)))
   (point)))

请注意，如果您经常使用此功能，此功能可能会使用更多错误检查（例如，require/enter的导入将破坏任何先前的enter!定义）。

我还保留了下面的原始文本，关于如何在REPL中手动切换命名空间，以防它有所帮助。

---

您可以使用enter!模块中的racket/enter函数来切换名称空间以修改其他文件的名称空间中的定义。

在web.rkt中调用racket-run后，您可以在REPL中执行以下操作：

(display-default-view) ;; output is "Hello world"
(require racket/enter)
(enter! "view.rkt")    ;; change namespace to view.rkt
(define default-text "Hi")
(enter! #f)            ;; return to original namespace
(display-default-view) ;; output is "Hi world"

见Racket documentation for more details on interactive module loading。