如何在polyml解释器中添加对读行的支持？

Question

我发现polyml是ML的实现，它可以很容易地安装在Ubuntu上(在存储库中命名为polyml，可以用poly__执行)。我正在跟踪安德鲁·库明的ML的绅士介绍。在对polyml解释器进行了几分钟的实验之后，我发现它不支持读行(按箭头向上键会产生^[[A__) ]。

这对翻译来说似乎不正常。只有在没有安装readline的情况下才会发生这种情况，但是Python解释器没有这样做。

Answer 1

下面两个QA回答了您的问题，尽管对于sml/nj。对于多毫升来说应该没有什么不同。

• Conque SML背空间
• 如何“修复”SML/NJ交互系统使用箭头键

Answer 2

如果您对Standard和Poly/ML感兴趣，您也应该看看Isabelle/ML。Isabelle主要针对的是定理验证环境，但也可以用作ML系统--如果您不介意下载300 MB和600到800 MB的磁盘空间，就可以获得完整的IDE。

通过将ML片段嵌入到Isabelle理论源中，可以就地编译和评估它们，如下所示：

theory Scratch
imports Main
begin

ML {*
  fun f x = x + 1
*}

end

在Isabelle/jEdit中，这给出了关于推断类型等的工具提示--这不仅仅是readline，但对于学习SML很有用。