时间戳

首页 > 解决方案 > Racket-Mode：我可以在 REPL 的给定命名空间内评估单个表单吗？

emacs - Racket-Mode：我可以在 REPL 的给定命名空间内评估单个表单吗？

问题描述

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

有没有一种方法可以在我当前不在的模块中执行单个表单，在它自己的模块的上下文中？

例如：

网络.rkt

#lang racket
(require "view.rkt")

(define (display-default-view)
  (display (default-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>.

当我进入default-textREPL 时，我得到“嗨”。但是当我跑步时，(display-default-view)我仍然会得到“Hello world”。我假设这是因为我所做的只是定义一个新default-text的 in web.rkt。

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

在 repl 上动态重新评估单个表单以改变程序行为的想法非常棒，但在这里似乎不太奏效。

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

标签： emacsracketread-eval-print-loop

解决方案

更新，更简单的答案：

我们可以通过在 REPL 中输入该名称空间，评估这些表单，然后重新进入我们的原始名称空间来评估当前文件名称空间中的 REPL 中的表单。最简单的方法似乎是用函数包装这些表单，以进入当前文件的命名空间（之前）并重新进入原始命名空间（之后），然后将所有这些发送到现有的球拍模式代码中以评估表单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：（注意 - 这似乎不适用于较新版本的球拍模式。这在 2018 年 4 月 1 日发布时有效，但较新版本似乎已经重构了它所依赖的一些内部结构。几乎在所有情况下，上面的代码都是可取的。）

对不起，我相信我最初误解了这个问题。看起来您的意思是直接从 view.rkt 执行命令，而无需手动更改 REPL 中的命名空间。我没有在球拍模式中看到任何内置功能可以做到这一点，但是围绕这个过程编写一个 Elisp 包装器并不难。以下 import in 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切换命名空间以修改其他文件的命名空间中的定义。

在调用racket-runweb.rkt 之后，你可以在 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 文档。

推荐阅读