包括来自 read-eval-print-loop 的输出

Question

我想要包含来自编程系统的读取-评估-打印循环的输出。

就我而言，这将是 Poly/ML 标准 ML 编译器，但我猜想对此有一个通用的解决方案，无论是 Python REPL 还是其他任何东西。

HOL 定理证明器确实通过宏系统支持这一点，但我希望有一个通用的 LaTeX 方法可以实现这一点。

是否有一个这样的包，我可以在其中命名 REPL 可执行文件并将输出传送到逐字环境？

Answer 1

我按照第一条评论创建了一个调用 Poly/ML 的 Makefile 部分：

%.com.out:  %.com
        (echo -n '> '; cat $<) >$<.out; poly <$< >>$<.out

它会放置一个 '> ' 提示符，从 .com 命令文件复制命令，然后使用命令文件提供的 Poly/ML 输出对其进行扩充。整个内容都会写入 .com.out 文件。

然后我创建了一个新命令，使用包的 VerbatimInput 命令\poly将这些 .com.out 文件逐字合并到正文中：fancyvrb

\usepackage{fancyvrb}

\newcommand\poly[1]{\VerbatimInput{#1.out}}

最后，它只是一个简单的调用：

\poly{runhello.com}