我不知道如何使用 PolyML 打开和 运行 sml 文件

I don't know how to open and run sml files with PolyML

我对 SML 完全陌生,我不明白我应该做什么才能使用 PolyML 创建、编辑、编译和 运行 一个 sml 文件。我正在使用 Windows,我不知道是否需要下载另一个 IDE,或者像 Java.

这样的开发工具包

我想创建定义了一些函数的文件,然后由终端使用它们。

您可以在您喜欢的任何编程编辑器中编辑您的 SML 代码。有些对语法突出显示的支持比其他的更好。找一个好的编辑器是探索和个人品味的问题,不适合在这里回答。

将您的 SML 代码保存到以 .sml 结尾的文件中,然后执行以下两项操作之一:

  • 或者,在终端输入以下命令:

    poly --use yourfile.sml
    
  • 或者,首先输入 poly 并在 REPL 中输入以下内容:

    use "yourfile.sml";