Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我对 SML 完全陌生,我不明白我应该做什么才能使用 PolyML 创建、编辑、编译和运行 sml 文件。我正在使用 Windows,我不知道是否需要下载另一个 IDE,或者像 Java 这样的开发工具包。
我想创建定义了一些函数的文件,然后由终端使用它们。
您可以在任何您喜欢的编程编辑器中编辑您的 SML 代码。有些人比其他人更好地支持语法突出显示。找一个好的编辑器是探索和个人品味的问题,不适合在这里回答。
将您的 SML 代码保存到以 .sml 结尾的文件中,然后执行以下两项操作之一:
或者,在终端中输入以下命令:
poly --use yourfile.sml
或者,首先键入poly并在 REPL 中键入以下内容:
poly
use "yourfile.sml";